9186 search results - page 156 / 1838 » A Module System for Scheme |
100
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
141
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
116
click to vote
CODES
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...
138
click to vote
EURODAC
1995
IEEE
15 years 6 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
148
click to vote
ICDCS
2000
IEEE
15 years 6 months ago
2000
IEEE
For transmission of continuous media (CM) streams such as audio and video over the Internet, a critical issue is that periodic network overloads cause bursty packet losses. Studie...