4480 search results - page 603 / 896 » Prototyping Completion with Constraints Using Computational ... |
172
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
153
click to vote
JSS
2007
15 years 6 months ago
2007
The paper presents a method to compute performance metrics (response time, sojourn time, throughput) on Unified Modeling Language design. The method starts with UML design annota...
157
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
163
click to vote
RTCSA
2006
IEEE
16 years 18 days ago
2006
IEEE
ILP (Instruction Level Parallelism) processors are being increasingly used in embedded systems. In embedded systems, instructions may be subject to timing constraints. An optimisi...