4299 search results - page 513 / 860 » Concurrent Test Generation |
154
click to vote
NOCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...
170
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
151
click to vote
TPHOL
2007
IEEE
15 years 11 months 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 ...
168
click to vote
LSSC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
123
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Distributed computing systems are a viable and less expensive alternative to parallel computers. However, concurrent programming methods in distributed systems have not been studi...