8008 search results - page 1291 / 1602 » Computer-Aided Language Processing |
116
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
118
click to vote
DOCENG
2006
ACM
15 years 9 months ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...
151
click to vote
SI3D
2006
ACM
15 years 9 months ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...
129
click to vote
ICEBE
2005
IEEE
15 years 9 months ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
122
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...