7452 search results - page 1407 / 1491 » A Semantics for Multiprocessor Systems |
162
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Data Stream Management Systems are useful when large volumes of data need to be processed in real time. Examples include monitoring network traffic, monitoring financial transacti...
123
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
174
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
134
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
As wireless platforms converge to multimedia systems, architectures must converge to support voice, data, and video applications. From a processor architecture perspective, suppor...
122
click to vote
MOBIQUITOUS
2005
IEEE
15 years 9 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...