Sciweavers

1728 search results - page 299 / 346
» Formal Modeling of Process Migration
Sort
View
IJDAR
2006
103views more  IJDAR 2006»
13 years 9 months ago
Table-processing paradigms: a research survey
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
David W. Embley, Matthew Hurst, Daniel P. Lopresti...
JRTIP
2008
249views more  JRTIP 2008»
13 years 9 months ago
Model-based mapping of reconfigurable image registration on FPGA platforms
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
Mainak Sen, Yashwanth Hemaraj, William Plishker, R...
TOPLAS
1998
133views more  TOPLAS 1998»
13 years 9 months ago
A Systematic Study of Functional Language Implementations
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
Rémi Douence, Pascal Fradet
VLDB
2002
ACM
156views Database» more  VLDB 2002»
13 years 9 months ago
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu
EKAW
2010
Springer
13 years 8 months ago
TagSorting: A Tagging Environment for Collaboratively Building Ontologies
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...
Leyla Jael García-Castro, Martin Hepp, Alex...