20126 search results - page 3540 / 4026 » Timed Transition Systems |
220
click to vote
ICSE
2003
IEEE-ACM
16 years 11 days ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
215
click to vote
ECCV
2010
Springer
16 years 11 days ago
2010
Springer
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...
195
click to vote
SAC
2010
ACM
16 years 8 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
193
click to vote
DATE
2010
IEEE
16 years 8 days ago
2010
IEEE
—In a conventional SoC designs, on-chip memories occupy more than the 50% of the total die area. 3D technology enables the distribution of logic and memories on separate stacked ...
195
click to vote
CLOUD
2010
ACM
16 years 7 days ago
2010
ACM
Timely and cost-effective processing of large datasets has become a critical ingredient for the success of many academic, government, and industrial organizations. The combination...