Sciweavers

925 search results - page 157 / 185
» A Solution to the Extended GCD Problem
Sort
View
3DGIS
2006
Springer
15 years 6 months ago
3D Geometries in Spatial DBMS
Database management systems (DBMS) have significantly changed in the last several years. From a system dealing with management of administrative data they have involved to a spati...
Sisi Zlatanova
103
Voted
CASES
2006
ACM
15 years 6 months ago
Extensible control architectures
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
Greg Hoover, Forrest Brewer, Timothy Sherwood
105
Voted
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
15 years 5 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat
105
Voted
ISSTA
2010
ACM
15 years 4 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder
95
Voted
ICWN
2004
15 years 1 months ago
Fast and Efficient IP Handover in IEEE 802.11 Wireless LANs
: This paper presents an effective and simple solution to the problem of Layer 3 (L3) handover in IEEE 802.11 wireless LANs (WLANs), so as to extend the IP mobility area of 802.11 ...
Ioanna Samprakou, Christos Bouras, Theodore Karoub...