1077 search results - page 144 / 216 » Hardware code generation from dataflow programs |
118
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
112
click to vote
TRIDENTCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract. This paper describes AutoNetkit, an auto-configuration tool for complex network emulations using Netkit, allowing large-scale networks to be tested on commodity hardware....
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
107
click to vote
ACMSE
2004
ACM
15 years 7 months ago
2004
ACM
Most of today’s computers are connected to the Internet or at least to a local network, exposing system vulnerabilities to the potential attackers. One of the attackers’ goals...