Sciweavers

4196 search results - page 271 / 840
» Supporting the development of network programs
Sort
View
BMCBI
2008
83views more  BMCBI 2008»
15 years 4 months ago
Integrative bioinformatics analysis of transcriptional regulatory programs in breast cancer cells
Background: Microarray technology has unveiled transcriptomic differences among tumors of various phenotypes, and, especially, brought great progress in molecular understanding of...
Atsushi Niida, Andrew D. Smith, Seiya Imoto, Shuic...
ECBS
1996
IEEE
155views Hardware» more  ECBS 1996»
15 years 8 months ago
Model-Integrated Program Synthesis Environment
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
Janos Sztipanovits, Gabor Karsai, Hubertus Franke
GD
2006
Springer
15 years 8 months ago
The Website for Graph Visualization Software References (GVSR)
Graph drawing software are now commonly used. However, the choice of a well-adapted program may be hard for an inexperienced user. This poster presents a website (http://www.polyte...
Bruno Pinaud, Pascale Kuntz, Fabien Picarougne
BIRTHDAY
2003
Springer
15 years 9 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
PERCOM
2005
ACM
15 years 10 months ago
Applying Active Space Principles to Active Classrooms
Recent developments in pervasive computing have enabled new features for collaboration and instrumentation in educational technology systems. An infrastructure for the integration...
Chad Peiper, David Warden, Ellick Chan, Roy H. Cam...