Sciweavers

7452 search results - page 1168 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
WEBDB
2010
Springer
167views Database» more  WEBDB 2010»
15 years 11 months ago
Tree patterns with Full Text Search
Tree patterns with full text search form the core of both XQuery Full Text and the NEXI query language. On such queries, users expect a relevance-ranked list of XML elements as an...
Maria-Hendrike Peetz, Maarten Marx
ICEIS
2002
IEEE
15 years 11 months ago
Managing Uncertain Trajectories of Moving Objects with Domino
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...
Goce Trajcevski, Ouri Wolfson, Hu Cao, Hai Lin, Fe...
164
Voted
ISSS
2002
IEEE
120views Hardware» more  ISSS 2002»
15 years 11 months ago
Virtual Synchronization for Fast Distributed Cosimulation of Dataflow Task Graphs
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
Soonhoi Ha, Sungchan Kim, Chan-Eun Rhee, Hyunguk J...
196
Voted
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
15 years 11 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 11 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
« Prev « First page 1168 / 1491 Last » Next »