Sciweavers

12697 search results - page 332 / 2540
» Call for Papers
Sort
View
170
Voted
PLDI
2010
ACM
15 years 12 months ago
Line-up: a complete and automatic linearizability checker
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
Sebastian Burckhardt, Chris Dern, Madanlal Musuvat...
TEI
2010
ACM
115views Hardware» more  TEI 2010»
16 years 1 months ago
Electronic popables: exploring paper-based computing through an interactive pop-up book
We have developed an interactive pop-up book called Electronic Popables to explore paper-based computing. Our book integrates traditional pop-up mechanisms with thin, flexible, pa...
Jie Qi, Leah Buechley
ICRA
2008
IEEE
150views Robotics» more  ICRA 2008»
16 years 1 months ago
Rigorously Bayesian range finder sensor model for dynamic environments
— This paper proposes and experimentally validates a Bayesian network model of a range finder adapted to dynamic environments. The modeling rigorously explains all model assumpt...
Tinne De Laet, Joris De Schutter, Herman Bruyninck...
ICC
2007
IEEE
16 years 1 months ago
A Multilink Protocol with the Per Flow Resequencing and Its Performance Evaluation
Abstract— Procedures that provide a virtual link service aggregating bandwidths of multiple physical links are called a multilink protocol. The multilink protocol enables to util...
Toshihiro Shikama, Takashi Watanabe, Tadanori Mizu...
KI
2007
Springer
16 years 29 days ago
Proposal of Generalized Rule Programming Model
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
Grzegorz J. Nalepa, Igor Wojnicki