Sciweavers

918 search results - page 93 / 184
» An Aspect Language for Robust Programming
Sort
View
JAVA
2001
Springer
14 years 1 months ago
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite
In this paper we present a platform independent analysis of the dynamic profiles of Java programs when executing on the Java Virtual Machine. The Java programs selected are taken...
Charlie Daly, Jane Horgan, James F. Power, John Wa...
IFIP
2009
Springer
13 years 6 months ago
A User Interface for a Game-Based Protocol Verification Tool
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
Peeter Laud, Ilja Tsahhirov
ANLP
1997
169views more  ANLP 1997»
13 years 10 months ago
Building Effective Queries In Natural Language Information Retrieval
In this paper we report on our natural language information retrieval (NLIR) project as related to the recently concluded 5th Text Retrieval Conference (TREC-5). The main thrust o...
Tomek Strzalkowski, Fang Lin, Jose Perez Carballo,...
BIRTHDAY
2010
Springer
13 years 8 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein
IWMM
2011
Springer
204views Hardware» more  IWMM 2011»
12 years 12 months ago
Multicore garbage collection with local heaps
In a parallel, shared-memory, language with a garbage collected heap, it is desirable for each processor to perform minor garbage collections independently. Although obvious, it i...
Simon Marlow, Simon L. Peyton Jones