Sciweavers

3717 search results - page 113 / 744
» Architecture-Based Design of Computer Based Systems
Sort
View
121
Voted
ICCSA
2009
Springer
15 years 1 months ago
Towards Guidelines for a Development Process for Component-Based Embedded Systems
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 ...
Rikard Land, Jan Carlson, Stig Larsson, Ivica Crnk...
127
Voted
ICCAD
2007
IEEE
107views Hardware» more  ICCAD 2007»
16 years 17 days ago
Computation of minimal counterexamples by using black box techniques and symbolic methods
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
Tobias Nopper, Christoph Scholl, Bernd Becker
135
Voted
NDSS
2003
IEEE
15 years 9 months ago
Traps and Pitfalls: Practical Problems in System Call Interposition Based Security Tools
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...
Tal Garfinkel
83
Voted
ACMACE
2007
ACM
15 years 7 months ago
Rhythmism: a VJ performance system with maracas based devices
WeproposeanonconventionalVJperformancesystemrhythmismwhichusesan original maraca based device that has 2 different functions, material maraca and effect maraca. Rhythmism uses the...
Satoru Tokuhisa, Yukinari Iwata, Masa Inakage
126
Voted
DAC
2005
ACM
16 years 4 months ago
High performance computing on fault-prone nanotechnologies: novel microarchitecture techniques exploiting reliability-delay trad
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...
Andrey V. Zykov, Elias Mizan, Margarida F. Jacome,...