3972 search results - page 338 / 795 » Palpability Support Demonstrated |
150
click to vote
AGILEDC
2004
IEEE
15 years 7 months ago
2004
IEEE
Through his law, "adding manpower to a late software project makes it later," Brooks asserts that the assimilation, training, and intercommunication costs of adding new ...
125
Voted
ASWEC
2004
IEEE
15 years 7 months ago
2004
IEEE
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
104
click to vote
AUIC
2004
IEEE
15 years 7 months ago
2004
IEEE
Ubiquitous workspaces are future media-rich environments that employ new forms of operating systems and services to coordinate and manage interactions between people, multiple dis...
156
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
147
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...