2634 search results - page 134 / 527 » Faster Than Uppaal |
OSS
2009
Springer
14 years 4 months ago
2009
Springer
The quantitative analysis of software projects can provide insights that let us better understand open source and other software development projects. An important variable used in...
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
Assigning the resources of a virtual network to the components of a physical network, called Virtual Network Mapping, plays a central role in network virtualization. Existing appr...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present an efficient analog synthesis algorithm employing regression models of circuit matrices. Circuit matrix models achieve accurate and speedy synthesis of analog circuits...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose a new approach to underdetermined Blind Source Separation (BSS) using sparse decomposition over monochannel dictionary atoms and compare it to multichannel dictionary a...