3828 search results - page 153 / 766 » Proof-Based System Engineering Using a Virtual System Model |
185
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
193
Voted
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
The simulated evaluation of memory management policies relies on reference traces—logs of memory operations performed by running processes. No existing approach to reference tra...
170
click to vote
WSC
1994
15 years 7 months ago
1994
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
148
click to vote
ICMCS
2007
IEEE
16 years 18 days ago
2007
IEEE
We propose a new on-line modeling and rendering method for visualizing players in sports. This method targets the intricate geometry of players in sports such as wrestling. Our sy...
185
click to vote
ANCS
2009
ACM
15 years 4 months ago
2009
ACM
Pattern matching is the most computation intensive task of a network intrusion detection system (NIDS). In this paper we present a hardware architecture to speed up the pattern mat...