Sciweavers

2255 search results - page 297 / 451
» Computing a Center-Transversal Line
Sort
View
69
Voted
ICSE
2007
IEEE-ACM
15 years 11 months ago
Path-Sensitive Inference of Function Precedence Protocols
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
Murali Krishna Ramanathan, Ananth Grama, Suresh Ja...
ASM
2010
ASM
15 years 6 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler
EDBT
2010
ACM
133views Database» more  EDBT 2010»
15 years 6 months ago
FPGAs: a new point in the database design space
In line with the insight that “one size” of databases will not fit all application needs [19], the database community is currently exploring various alternatives to commodity...
René Müller, Jens Teubner
HAPTICS
2009
IEEE
15 years 6 months ago
ShiverPad: A device capable of controlling shear force on a bare finger
We discuss the theory, design, and performance of a flat-panel tactile display capable of controlling shear force on a finger. In previous research a TPaD variable friction devi...
Erik C. Chubb, J. Edward Colgate, Michael A. Peshk...
ICDAR
2009
IEEE
15 years 6 months ago
Script-Independent Handwritten Textlines Segmentation Using Active Contours
Handwritten document images contain textlines with multi orientations, touching and overlapping characters within consecutive textlines, and small inter-line spacing making textli...
Syed Saqib Bukhari, Faisal Shafait, Thomas M. Breu...