1715 search results - page 174 / 343 » Embedded Systems and Real-Time Programming |
107
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
104
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
119
click to vote
CSREAESA
2006
15 years 3 months ago
2006
Traditional simulation-based energy estimation is not practical because the simulation time has increased from minutes and hours and weeks. Therefore, simulation assisted by speci...
115
click to vote
ECRTS
2000
IEEE
15 years 6 months ago
2000
IEEE
Internal clock synchronization has been investigated, or employed, for quite a number of years, under the requirement of good upper bounds for the deviation, or accuracy, between ...
103
click to vote
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...