419 search results - page 76 / 84 » Translation of Aggregate Programs to Normal Logic Programs |
129
Voted
ENTCS
2008
15 years 1 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
123
Voted
DAC
2012
ACM
13 years 4 months ago
2012
ACM
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
125
Voted
MIDDLEWARE
2009
Springer
15 years 8 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
138
Voted
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
106
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...