Sciweavers

2015 search results - page 180 / 403
» Hidden Software Capabilities
Sort
View
232
Voted
VLSI
2012
Springer
13 years 10 months ago
A Signature-Based Power Model for MPSoC on FPGA
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
Roberta Piscitelli, Andy D. Pimentel
BMCBI
2008
226views more  BMCBI 2008»
15 years 2 months ago
ProteoLens: a visual analytic tool for multi-scale database-driven biological network data mining
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
Tianxiao Huan, Andrey Y. Sivachenko, Scott H. Harr...
106
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
Lightweight extraction of syntactic specifications
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
Mana Taghdiri, Robert Seater, Daniel Jackson
SIGMOD
2007
ACM
132views Database» more  SIGMOD 2007»
16 years 2 months ago
A dynamic and flexible sensor network platform
SwissQM is a novel sensor network platform for acquiring data from the real world. Instead of statically hand-crafted programs, SwissQM is a virtual machine capable of executing b...
Donald Kossmann, Gustavo Alonso, Jan S. Rellermeye...
111
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....