984 search results - page 94 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
135
click to vote
TOOLS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
137
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
152
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
147
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
152
click to vote
WCET
2008
15 years 6 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...