Sciweavers

4806 search results - page 309 / 962
» Interactive uncertainty analysis
Sort
View
DAC
2006
ACM
16 years 7 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
CHI
2006
ACM
16 years 7 months ago
Using hybrid networks for the analysis of online software development communities
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
Yevgeniy Eugene Medynskiy, Nicolas Ducheneaut, Aym...
CHI
2005
ACM
16 years 7 months ago
The domestic economy: a broader unit of analysis for end user programming
Domestic ubicomp applications often assume individual users will program and configure their technology in isolation, decoupled from complex domestic environments in which they ar...
Jennifer A. Rode, Eleanor F. Toye, Alan F. Blackwe...
HPCA
2006
IEEE
16 years 7 months ago
Construction and use of linear regression models for processor performance analysis
Processor architects have a challenging task of evaluating a large design space consisting of several interacting parameters and optimizations. In order to assist architects in ma...
P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthav...
RECOMB
2008
Springer
16 years 7 months ago
Detecting Disease-Specific Dysregulated Pathways Via Analysis of Clinical Expression Profiles
We present a method for identifying connected gene subnetworks significantly enriched for genes that are dysregulated in specimens of a disease. These subnetworks provide a signat...
Igor Ulitsky, Richard M. Karp, Ron Shamir