1446 search results - page 69 / 290 » Formal analysis of hardware requirements |
144
click to vote
DSD
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
153
click to vote
DATE
2009
IEEE
16 years 13 days ago
2009
IEEE
—In embedded computing we face a continuously growing algorithm complexity combined with a constantly rising number of applications running on a single system. Multi-core systems...
176
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
153
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
248
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...