3441 search results - page 514 / 689 » Parallel Logic Programming Systems |
141
click to vote
JITECH
2007
15 years 6 months ago
2007
This teaching case discusses the challenges being faced by the technology managers at Indian Railways (IR) in the current scenario of a resurgent national economy coupled with inc...
178
click to vote
TPHOL
2007
IEEE
16 years 15 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
177
click to vote
RTSS
2006
IEEE
16 years 7 days ago
2006
IEEE
Real-time systems design involves many important choices, including that of the processor. The fastest processors achieve performance by utilizing architectural features that make...
154
click to vote
TROB
2002
15 years 5 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
191
click to vote
AC
1998
Springer
15 years 6 months ago
1998
Springer
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...