1914 search results - page 119 / 383 » Abstract lambda-Calculus Machines |
ESA
2010
Springer
13 years 9 months ago
2010
Springer
We consider parameterized convex optimization problems over the unit simplex, that depend on one parameter. We provide a simple and efficient scheme for maintaining an -approximat...
ECEASST
2008
13 years 8 months ago
2008
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
JVM
2004
13 years 9 months ago
2004
e a new operating system abstraction for partitioning systems, allowing multiple applications to run in isolation from each other on the same physical hardware. This isolation prev...
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
PACT
1997
Springer
14 years 15 days ago
1997
Springer
Abstract. Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way ofrealizing cost-effective parallel machines. This has been due to the avai...