7576 search results - page 1490 / 1516 » UNIX as an Application Program |
106
click to vote
SOQUA
2007
15 years 28 days ago
2007
With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent machine configuration, concurrent code moves from being writt...
119
click to vote
UAI
2007
15 years 28 days ago
2007
The traditional approach to building Bayesian networks is to build the graphical structure using a graphical editor and then add probabilities using a separate spreadsheet for eac...
101
click to vote
WCE
2007
15 years 28 days ago
2007
—Partitioned global address space (PGAS) languages, such as Unified Parallel C (UPC) have the promise of being productive. Due to the shared address space view that they provide,...
CSL
2010
Springer
15 years 26 days ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
151
click to vote
ECRTS
2010
IEEE
15 years 26 days ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...