Sciweavers

3971 search results - page 57 / 795
» On the Use of Properties in Java Applications
Sort
View
ICCD
2001
IEEE
112views Hardware» more  ICCD 2001»
14 years 6 months ago
Run-Time Execution of Reconfigurable Hardware in a Java Environment
We present tools that support the runtime execution of applications that mix software running on networks of workstations and reconfigurable hardware. We use JHDL to describe the ...
Laurie A. Smith King, Heather Quinn, Miriam Leeser...
COORDINATION
2008
Springer
13 years 11 months ago
Implementing Session Centered Calculi
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
ENTCS
2006
154views more  ENTCS 2006»
13 years 9 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
SAC
2010
ACM
14 years 4 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
ACMSE
2005
ACM
14 years 2 months ago
A Java API for global querying and updates for a system of databases
In this paper, we present the design of system of databases (SyDb). We also give the design and implementation of a Java API for global querying and updates on the SyDb. The datab...
Rajshekhar Sunderraman, Erdogan Dogdu, Praveen Mad...