Sciweavers

3323 search results - page 609 / 665
» Computational Semantics with Functional Programming
Sort
View
SIGMOD
1989
ACM
118views Database» more  SIGMOD 1989»
15 years 1 months ago
The Architecture Of An Active Data Base Management System
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
Dennis R. McCarthy, Umeshwar Dayal
AUTONOMICS
2007
ACM
15 years 1 months ago
Facet: towards a smart camera network of mobile phones
Smart camera networks provide the opportunity to detect, classify, and trace visual events by means of a wireless network of embedded computing devices equipped with camera sensor...
Philipp Bolliger, Moritz Köhler, Kay Röm...
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 1 months ago
Learning Component Interfaces with May and Must Abstractions
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...
HIPEAC
2009
Springer
15 years 1 months ago
Deriving Efficient Data Movement from Decoupled Access/Execute Specifications
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
Lee W. Howes, Anton Lokhmotov, Alastair F. Donalds...
CSB
2004
IEEE
103views Bioinformatics» more  CSB 2004»
15 years 1 months ago
Identifying MicroRNAs in Plant Genomes
The ability to control gene expression during development in plants could be used for improving crop yields, resistance to disease, and environmental adaptability. It has been sug...
Christopher Maher, Marja Timmermans, Lincoln Stein...