Sciweavers

11395 search results - page 274 / 2279
» Beyond computer science
Sort
View
SOFSEM
2005
Springer
16 years 27 days ago
Non-planar Orthogonal Drawings with Fixed Topology
Markus Chimani, Gunnar W. Klau, René Weiski...
SPIN
2005
Springer
16 years 27 days ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
SPIN
2005
Springer
16 years 27 days ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp
141
Voted
STACS
2005
Springer
16 years 27 days ago
All-Pairs Nearly 2-Approximate Shortest-Paths in O(n2 polylog n) Time
Surender Baswana, Vishrut Goyal, Sandeep Sen