7124 search results - page 842 / 1425 » Programming Languages and Operating Systems |
196
click to vote
EDOC
2003
IEEE
16 years 9 days ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
311
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
222
click to vote
PLDI
2010
ACM
16 years 3 days ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
170
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
185
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...