2364 search results - page 349 / 473 » An Engine for Computing Well-Founded Models |
161
click to vote
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Service Oriented Architecture (SOA) and Grid computing are very hot research topics, nowadays. While Grid computing is aimed at sharing dynamically heterogeneous resources, SOAs i...
112
click to vote
TKDE
2008
15 years 4 months ago
2008
The computational grid is rapidly evolving into a service-oriented computing infrastructure that facilitates resource sharing and large-scale problem solving over the Internet. Ser...
113
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...
132
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
150
click to vote
CP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...