3565 search results - page 393 / 713 » Modeling a system controller for timing analysis |
133
click to vote
DSD
2009
IEEE
15 years 11 months 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...
144
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
147
Voted
ECEASST
2008
15 years 5 months ago
2008
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
121
Voted
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
260
click to vote
ICDE
2005
IEEE
16 years 6 months ago
2005
IEEE
Standard multi-party computation models assume semi-honest behavior, where the majority of participants implement protocols according to specification, an assumption not always pl...