Sciweavers

2393 search results - page 259 / 479
» Fuzzy-UCS: preliminary results
Sort
View
KBSE
2008
IEEE
16 years 1 months ago
Reducing the Cost of Path Property Monitoring Through Sampling
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
Matthew B. Dwyer, Madeline Diep, Sebastian G. Elba...
SEMCO
2008
IEEE
16 years 29 days ago
TcruziKB: Enabling Complex Queries for Genomic Data Exploration
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...
Pablo N. Mendes, Bobby McKnight, Amit P. Sheth, Je...
VLSID
2008
IEEE
142views VLSI» more  VLSID 2008»
16 years 29 days ago
Incorporating PVT Variations in System-Level Power Exploration of On-Chip Communication Architectures
With the shift towards deep sub-micron (DSM) technologies, the increase in leakage power and the adoption of poweraware design methodologies have resulted in potentially significa...
Sudeep Pasricha, Young-Hwan Park, Fadi J. Kurdahi,...
ACSAC
2007
IEEE
16 years 29 days ago
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
Deepak Chandra, Michael Franz
BIBM
2007
IEEE
130views Bioinformatics» more  BIBM 2007»
16 years 29 days ago
Analysis of Protein Protein Dimeric Interfaces
We analyzed the structural properties and the local surface environment of surface amino acid residues of proteins using a large, non-redundant dataset of 2383 protein chains in d...
Feihong Wu, Fadi Towfic, Drena Dobbs, Vasant Honav...