385 search results - page 53 / 77 » Verified Code Generation for Embedded Systems |
123
click to vote
ISCC
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe a modular reference implementation of an IPbased DSL access multiplexer (DSLAM). We identify deployment trends and primary tasks a future DSLAM has to offer. The imple...
119
click to vote
APCSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
In this paper, a new architecture called the extendable instruction set computer (EISC) is introduced that addresses the issues of memory size and performance in embedded micropro...
122
click to vote
FM
1998
Springer
15 years 6 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
126
click to vote
ECRTS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
119
Voted
WWW
2006
ACM
16 years 2 months ago
2006
ACM
While much of the data on the web is unstructured in nature, there is also a significant amount of embedded structured data, such as product information on e-commerce sites or sto...