17680 search results - page 419 / 3536 » Simulation of Computer Systems and Applications |
147
Voted
SI3D
1995
ACM
15 years 8 months ago
1995
ACM
Interactive graphics applications have long been challenging graphics system designers by demanding machines that can provide ever increasing polygon rendering performance. Anothe...
122
click to vote
WSC
2007
15 years 7 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
156
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
151
click to vote
HPDC
2005
IEEE
15 years 10 months ago
2005
IEEE
Biomolecular simulations produce more output data than can be managed effectively by traditional computing systems. Researchers need distributed systems that allow the pooling of...
150
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...