1554 search results - page 94 / 311 » Testing Polymorphic Behavior |
98
Voted
GLVLSI
2003
IEEE
15 years 6 months ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
109
Voted
ISSAC
2001
Springer
15 years 5 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
126
click to vote
SC
2000
ACM
15 years 5 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
The popularity of web objects, and by extension the popularity of the web sites, besides the appearance of clear footprints in user's accesses that show a considerable spatia...
102
Voted
ML
2006
ACM
15 years 6 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...