Sciweavers

1129 search results - page 206 / 226
» Modular Ranking Abstraction
Sort
View
PPDP
2009
Springer
14 years 2 months ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
ECCB
2008
IEEE
14 years 2 months ago
Functional coherence in domain interaction networks
Motivation: Extracting functional information from protein–protein interactions (PPI) poses significant challenges arising from the noisy, incomplete, generic and static nature...
Jayesh Pandey, Mehmet Koyutürk, Shankar Subra...
ICRA
2008
IEEE
127views Robotics» more  ICRA 2008»
14 years 2 months ago
Insertable surgical imaging device with pan, tilt, zoom, and lighting
Abstract— This paper describes work we have done in developing an insertable surgical imaging device with multiple degrees-of-freedom for minimally invasive surgery. The device i...
Tie Hu, Peter K. Allen, Nancy J. Hogle, Dennis L. ...
NOCS
2007
IEEE
14 years 1 months ago
Transaction-Based Communication-Centric Debug
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...
Kees Goossens, Bart Vermeulen, Remco van Steeden, ...
ADBIS
2006
Springer
109views Database» more  ADBIS 2006»
14 years 1 months ago
Content Is Capricious: A Case for Dynamic System Generation
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
Hans-Werner Sehring, Sebastian Bossung, Joachim W....