1264 search results - page 57 / 253 » Abstract machines for programming language implementation |
125
click to vote
EMSOFT
2010
Springer
15 years 12 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
117
Voted
ERLANG
2003
ACM
15 years 7 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
140
Voted
TIC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
SE
2007
15 years 3 months ago
2007
Abstract: Software development is a complex task and therefore requires professional programming skills. Restricting the focus to a specific problem domain allows the application o...
102
click to vote
FCCM
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...