1229 search results - page 96 / 246 » Graph-Based Design and Analysis of Dynamic Software Architec... |
156
Voted
ICCD
2002
IEEE
16 years 16 days ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
108
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Application profiling ? the process of monitoring an application to determine the frequency of execution within specific regions ? is an essential step within the design process f...
108
Voted
ADAEUROPE
2008
Springer
15 years 10 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
132
Voted
SAT
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
167
click to vote
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...