2881 search results - page 576 / 577 » Model Checking for Programming Languages using Verisoft |
101
click to vote
IFIP
2003
Springer
15 years 4 months ago
2003
Springer
Bluetooth is a promising wireless technology aiming at supporting electronic devices to be instantly interconnected into short-range ad hoc networks. The Bluetooth medium access co...
113
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: The reliable extraction of features from mass spectra is a fundamental step in the automated analysis of proteomic mass spectrometry (MS) experiments. Results: This co...
106
click to vote
ICDCSW
2005
IEEE
15 years 5 months ago
2005
IEEE
DiamondHelp is a reusable Java framework for building graphical user interfaces based on the collaborative paradigm of human-computer interaction. DiamondHelp´s graphical design ...
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Radio networks model wireless communication when processing units communicate using one wave frequency. This is captured by the property that multiple messages arriving s...
122
click to vote
PASTE
2010
ACM
15 years 4 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...