489 search results - page 55 / 98 » Support tools for graphs in computer science |
122
click to vote
TCS
2011
14 years 8 months ago
2011
d Abstract) Hagit Attiya and Eshcar Hillel Department of Computer Science, Technion The design of concurrent data structures is greatly facilitated by the availability of synchroni...
BIRTHDAY
1991
Springer
15 years 4 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
137
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
The World Wide Web (WWW) is rapidly becoming important for society as a medium for sharing data, information and services, and there is a growing interest in tools for understandi...
134
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The practical realization of managing and executing large scale scientific computations efficiently and reliably is quite challenging. Scientific computations often invo...
115
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...