4870 search results - page 960 / 974 » Challenges of component-based development |
124
click to vote
ICCAD
2009
IEEE
15 years 5 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...
165
Voted
IDC
2009
Springer
15 years 4 days ago
2009
Springer
A major challenge faced in mobile ad hoc networks (MANETs) is locating devices for communication, especially in the case of high node mobility and sparse node density. Present solu...
147
click to vote
AISS
2010
14 years 12 months ago
2010
The boom of Service oriented architecture is on substantial rise. SOA developers orchestrate individual SOA objects into web services. It has been a dream of software engineers to...
155
Voted
BMCBI
2010
14 years 12 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
162
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Energy consumption is a critical design issue in real-time systems, especially in battery- operated systems. Maintaining high performance, while extending the battery life between...