6167 search results - page 928 / 1234 » Can Refinement be Automated |
117
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Tasks in many such systems, like netwo...
122
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
152
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
142
Voted
DAC
2002
ACM
16 years 5 months ago
2002
ACM
In this paper, we present a compiler strategy to optimize data accesses in regular array-intensive applications running on embedded multiprocessor environments. Specifically, we p...
129
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
In this paper, a new timing generation method is proposed for the performance analysis of embedded software. The time stamp generation of I/O accesses is crucial to performance es...