1304 search results - page 247 / 261 » Model Checking C Programs Using F-SOFT |
113
click to vote
MAM
2006
15 years 2 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...
139
click to vote
GLOBECOM
2010
IEEE
15 years 10 days ago
2010
IEEE
In smart grid, a home appliance can adjust its power consumption level according to the realtime power price obtained from communication channels. Most studies on smart grid do not...
110
click to vote
IJWMC
2010
14 years 11 months ago
2010
The past few years have seen a burst in public interest and widespread use of portable electronic devices featuring both mature and emerging technologies for wireless communication...
134
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Accurate sequence alignments are essential for homology searches and for building three-dimensional structural models of proteins. Since structure is better conserved ...
164
Voted
AOSD
2005
ACM
15 years 8 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...