6768 search results - page 1323 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
114
click to vote
USENIX
2001
15 years 3 months ago
2001
The X Window System protocol, Version 11, was deliberately designed to be extensible, to provide for both anticipated and unanticipated needs. The X11 core did not anticipate that...
141
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Surface enhanced laser desorption/ionization time-of-flight mass spectrometry (SELDI) is a proteomics tool for biomarker discovery and other high throughput applicatio...
124
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Processing raw DNA sequence data is an especially challenging task for relatively small laboratories and core facilities that produce as many as 5000 or more DNA seque...
123
click to vote
COMPUTER
2006
15 years 2 months ago
2006
The educational content of a technical topic consists, ultimately, of elementary chunks of knowledge. Identifying and classifying such units -- Testable, Reusable Units of Cogniti...
124
click to vote
ICCAD
2009
IEEE
15 years 4 days ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...