2251 search results - page 244 / 451 » Specification and Implementation Problems for C |
145
click to vote
WSNA
2003
ACM
15 years 9 months ago
2003
ACM
Many applications in ubiquitous computing rely on knowing where people and objects are relative to each other. By placing small wireless sensors on people, at specific locations, ...
130
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
156
click to vote
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
We present NANO, a system that detects when ISPs apply policies that discriminate against specific classes of applications, users, or destinations. Existing systems for detecting ...
133
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Bisulfite sequencing is a popular method to analyze DNA methylation patterns at high resolution. A region of interest is targeted by PCR and about 20-50 subcloned DNA ...
142
click to vote
FGCS
2006
15 years 4 months ago
2006
In computational biomolecular research, large amounts of simulation data are generated to capture the motion of proteins. These massive simulation data can be analysed in a number...