12107 search results - page 2151 / 2422 » Software That Can Think |
169
click to vote
PVLDB
2010
15 years 5 months ago
2010
Applications from several domains are now being written to process live data originating from hardware and softwarebased streaming sources. Many of these applications have been wr...
177
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
185
click to vote
SOSYM
2010
15 years 5 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
198
click to vote
TAICPART
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
172
click to vote
TSD
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the paper we introduce the on-line captioning system developed by our teams and used by the Czech Television (CTV), the public service broadcaster in the Czech Republi...