77016 search results - page 14823 / 15404 » Modelling |
204
click to vote
JELIA
2004
Springer
16 years 17 days ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
210
click to vote
JSSPP
2004
Springer
16 years 17 days ago
2004
Springer
As we continue to evolve into large-scale parallel systems, many of them employing hundreds of computing engines to take on mission-critical roles, it is crucial to design those s...
229
click to vote
KR
2004
Springer
16 years 17 days ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
219
click to vote
LCTRTS
2004
Springer
16 years 17 days ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
192
click to vote
LPAR
2004
Springer
16 years 17 days ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...