Sciweavers

19587 search results - page 3492 / 3918
» Systems Engineering for software Engineers
Sort
View
POPL
2010
ACM
16 years 4 months ago
Sequential Verification of Serializability
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
G. Ramalingam, Hagit Attiya, Noam Rinetzky
ICWS
2009
IEEE
16 years 4 months ago
A Conceptual Modeling Approach to Business Service Mashup Development
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...
ICCD
2000
IEEE
125views Hardware» more  ICCD 2000»
16 years 3 months ago
Architectural Support for Dynamic Memory Management
Recent advances in software engineering, such as graphical user intevaces and object-oriented programming, have caused applications to become more memory intensive. These applicat...
J. Morris Chang, Witawas Srisa-an, Chia-Tien Dan L...

Publication
396views
16 years 3 months ago
Detecting Abandoned Objects with A Moving Camera
This paper presents a novel framework for detecting non-flat abandoned objects by matching a reference and a target video sequences. The reference video is taken by a moving camera...
Hui Kong, Jean-Yves Audibert and Jean Ponce

Publication
455views
16 years 3 months ago
General road detection from a single image
Given a single image of an arbitrary road, that may not be well-paved, or have clearly delineated edges, or some a priori known color or texture distribution, is it possible for a ...
Hui Kong, Jean-Yves Audibert, and Jean Ponce
« Prev « First page 3492 / 3918 Last » Next »