4139 search results - page 387 / 828 » Designing and Implementing Combinator Languages |
233
Voted
DAC
2005
ACM
16 years 8 months ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
325
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
191
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
The lowly state of the art for file system checking and repair does not match what is needed to keep important data available for users. Current file system checkers, such as e2fs...
195
click to vote
VL
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
202
click to vote
IFM
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...