2364 search results - page 76 / 473 » An Engine for Computing Well-Founded Models |
144
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
131
click to vote
WSC
2007
15 years 6 months ago
2007
Computer simulation presents a variety of opportunities for high school students to receive exposure to mathematics and engineering in the real world. We describe in a highlevel w...
157
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
144
click to vote
TOMACS
1998
15 years 3 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
130
click to vote
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...