Sciweavers

30240 search results - page 554 / 6048
» Robust System Design
Sort
View
IEICET
2006
114views more  IEICET 2006»
15 years 7 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
VSTTE
2005
Springer
16 years 18 days ago
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
Gerard J. Holzmann, Rajeev Joshi
RTSS
2000
IEEE
15 years 11 months ago
Scalable Real-Time System Design using Preemption Thresholds
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
Manas Saksena, Yun Wang
FPL
2000
Springer
87views Hardware» more  FPL 2000»
15 years 10 months ago
Toward Uniform Approach to Design of Evolvable Hardware Based Systems
The paper tries to establish the uniform design concept for evolvable hardware based applications. Evolvable circuit is understood as a system component with ability to evolve. As ...
Lukás Sekanina, Azeddien M. Sllame
AIPS
1998
15 years 8 months ago
A Conditional Scheduling Approach to Designing Real-Time Systems
Wepresentan approachto designingreal-time systems based on dynamically sequencing condition-specific task-execution schedules. Asystem that dynamically alters its real-time execut...
Lloyd Greenwald, Thomas Dean