422 search results - page 63 / 85 » Automatic generation of error control codes for computer app... |
268
Voted
FCCM
2011
IEEE
14 years 7 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
267
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
124
click to vote
MM
1999
ACM
15 years 7 months ago
1999
ACM
NoteLook is a client-server system designed and built to support multimedia note taking in meetings with digital video and ink. It is integrated into a conference room equipped wi...
131
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
134
Voted
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...