3192 search results - page 357 / 639 » Translating Model Simulators to Analysis Models |
172
click to vote
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
—Server consolidation based on virtualization technology will simplify system administration, reduce the cost of power and physical infrastructure, and improve utilization in tod...
157
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
153
click to vote
ASYNC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
120
click to vote
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
EEL (Executable Editing Library) is a library for building tools to analyze and modify an executable (compiled) program. The systems and languages communities have built many tool...
117
click to vote
DLT
2008
15 years 5 months ago
2008
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...