Sciweavers

5096 search results - page 828 / 1020
» Associations as a Language Construct
Sort
View
ICLP
2007
Springer
15 years 10 months ago
User-Definable Resource Bounds Analysis for Logic Programs
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
Jorge Navas, Edison Mera, Pedro López-Garc&...
ERCIMDL
2006
Springer
171views Education» more  ERCIMDL 2006»
15 years 10 months ago
The Nautical Archaeology Digital Library
Abstract. In Nautical Archaeology, the study of components and objects creates a complex environment for scholars and researchers. Nautical archaeologists access, manipulate, study...
Carlos Monroy, Nicholas Parks, Richard Furuta, Fil...
EUROSSC
2006
Springer
15 years 10 months ago
Infrastructural Support for Dynamic Context Bindings
Abstract. Research in context-aware systems shows that using context information enables the development of personalized mobile applications. The context acquisition process in a c...
Tom Broens, Aart van Halteren, Marten van Sinderen
CASES
2000
ACM
15 years 10 months ago
Flexible instruction processors
This paper introduces the notion of a Flexible Instruction Processor (FIP) for systematic customisation of instruction processor design and implementation. The features of our app...
Shay Ping Seng, Wayne Luk, Peter Y. K. Cheung
HLPPP
1991
15 years 10 months ago
Reasoning About Synchronic Groups
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
Gruia-Catalin Roman, H. Conrad Cunningham