Sciweavers

3432 search results - page 352 / 687
» Language as a Complex Adaptive System
Sort
View
FOIKS
2004
Springer
16 years 2 days ago
Towards a Generalized Interaction Scheme for Information Access
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...
Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos
158
Voted
JDA
2008
85views more  JDA 2008»
15 years 6 months ago
A robust randomized algorithm to perform independent tasks
The Do-All problem is about scheduling t similar and independent tasks to be performed by p processors prone to crashes. We assume that the distributed system is synchronous with ...
Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Ko...
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
16 years 6 days ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
CIKM
1994
Springer
15 years 10 months ago
Facilitating Transformations in a Human Genome Project Database
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...
Susan B. Davidson, Anthony Kosky, Barbara A. Eckma...
149
Voted
ISSS
1995
IEEE
109views Hardware» more  ISSS 1995»
15 years 10 months ago
1995 high level synthesis design repository
In this paper we brie y describe a set of designs that can serve as examples for High Level Synthesis (HLS) systems. The designs vary in complexity from simple behavioral nite st...
Preeti Ranjan Panda, Nikil D. Dutt