Sciweavers

11573 search results - page 1678 / 2315
» Designing Relational Databases
Sort
View
TSMC
1998
79views more  TSMC 1998»
15 years 7 months ago
Fault-tolerant locomotion of the hexapod robot
— This paper extends the authors’ previous results on fault tolerant locomotion of the hexapod robot on even terrain by relaxing nonoverlap of redefined reachable cells of leg...
Jung-Min Yang, Jong-Hwan Kim
SP
2002
IEEE
117views Security Privacy» more  SP 2002»
15 years 7 months ago
Grids: The top ten questions
The design and implementation of a national computing system and data grid has become a reachable goal from both the computer science and computational science point of view. A di...
Jennifer M. Schopf, Bill Nitzberg
TPDS
2002
117views more  TPDS 2002»
15 years 7 months ago
Gemini: An Optical Interconnection Network for Parallel Processing
Abstract--The Gemini interconnect is a dual technology (optical and electrical) interconnection network designed for use in tightlycoupled multicomputer systems. It consists of a c...
Roger D. Chamberlain, Mark A. Franklin, Ch'ng Shi ...
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
208
Voted
SAC
2008
ACM
15 years 6 months ago
Extending omniscient debugging to support aspect-oriented programming
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
Guillaume Pothier, Éric Tanter
« Prev « First page 1678 / 2315 Last » Next »