1678 search results - page 43 / 336 » An ASM Specification of C |
POPL
2006
ACM
14 years 8 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
CODES
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
DAC
2010
ACM
13 years 7 months ago
2010
ACM
We present a technique to automatically synthesize a multithreaded in-order pipeline from a high-level unpipelined datapath specification. This work extends the previously propose...
HRI
2006
ACM
2006
ACM
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
14 years 1 months ago
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
VL
2002
IEEE
14 years 15 days ago
2002
IEEE
Many systems require data transformation – the conversion of complex data from one format to another. Most current approaches require programming, scripting bstract visual speci...