26151 search results - page 84 / 5231 » Parameterized system design |
136
Voted
JSC
2010
15 years 4 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...
124
click to vote
ISVLSI
2006
IEEE
15 years 11 months ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
163
click to vote
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
The capacity of flash-memory storage systems grows at a speed similar to many other storage systems. In order to properly manage the product cost, vendors face serious challenges ...
159
click to vote
HICSS
2007
IEEE
15 years 12 months ago
2007
IEEE
Do the design requirements of a knowledge management system change over time? If so, how do these changes affect the users of the system? In this paper we explore the case of pate...
178
click to vote
MSE
2005
IEEE
15 years 11 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...