Sciweavers

7342 search results - page 1350 / 1469
» Optimal Language Learning
Sort
View
118
Voted
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
15 years 8 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
AICCSA
2006
IEEE
179views Hardware» more  AICCSA 2006»
15 years 8 months ago
Supporting the SPEM with a UML Extended Workflow Metamodel
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
Narayan C. Debnath, Daniel Riesco, Manuel Pé...
125
Voted
CODES
2006
IEEE
15 years 8 months ago
Streamroller: : automatic synthesis of prescribed throughput accelerator pipelines
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
Manjunath Kudlur, Kevin Fan, Scott A. Mahlke
131
Voted
ICDE
2006
IEEE
146views Database» more  ICDE 2006»
15 years 8 months ago
Supporting Predicate-Window Queries in Data Stream Management Systems
The window query model is widely used in data stream management systems where the focus of a continuous query is limited to a set of the most recent tuples. In this dissertation, ...
Thanaa M. Ghanem
IDEAS
2006
IEEE
100views Database» more  IDEAS 2006»
15 years 8 months ago
Data-Driven Publication of Relational Databases
The paper presents a framework for publishing relational databases in textual documents such as mails, HTML pages, LATEX or BibTex files, plain texts, etc. The publication proces...
Sonia Guehis, Philippe Rigaux, Emmanuel Waller
« Prev « First page 1350 / 1469 Last » Next »