2736 search results - page 354 / 548 » Understanding programmer language |
154
Voted
SAMOS
2005
Springer
16 years 13 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...
162
Voted
TGC
2005
Springer
16 years 13 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...
166
Voted
WAIM
2005
Springer
16 years 13 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...
183
Voted
CASSIS
2004
Springer
16 years 10 days 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...
178
click to vote
ICLP
2004
Springer
16 years 10 days 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...