3717 search results - page 113 / 744 » Architecture-Based Design of Computer Based Systems |
110
click to vote
ICCSA
2009
Springer
15 years 8 days ago
2009
Springer
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to ...
114
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
125
click to vote
NDSS
2003
IEEE
15 years 7 months ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
ACMACE
2007
ACM
15 years 6 months ago
2007
ACM
WeproposeanonconventionalVJperformancesystemrhythmismwhichusesan original maraca based device that has 2 different functions, material maraca and effect maraca. Rhythmism uses the...
119
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Device and interconnect fabrics at the nanoscale will have a density of defects and susceptibility to transient faults far exceeding those of current silicon technologies. In this...