2736 search results - page 354 / 548 » Understanding programmer language |
143
click to vote
SAMOS
2005
Springer
16 years 2 days ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
158
click to vote
TGC
2005
Springer
16 years 1 days ago
2005
Springer
Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. P...
155
click to vote
WAIM
2005
Springer
16 years 1 days ago
2005
Springer
We address the problem that current Web applications present mainly the content-centric information, but lack cues and browsing mechanisms for online social information. After summ...
163
click to vote
CASSIS
2004
Springer
15 years 12 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
166
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...