12107 search results - page 446 / 2422 » Software That Can Think |
183
Voted
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
212
Voted
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
206
Voted
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...
219
Voted
VEE
2006
ACM
16 years 25 days ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
190
Voted
IFM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...