13099 search results - page 138 / 2620 » Cooperative method development |
ISSTA
2012
ACM
12 years 3 days ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
DAC
1997
ACM
14 years 1 months ago
1997
ACM
Abstract - This paper describes the development of a concurrent methodology for standard cell library generation. Use of a novel physical design automation method enables a high de...
JOT
2006
13 years 9 months ago
2006
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based p...
CAISE
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper presents a strategy for the systematic development of dynamic web applications. The proposal extends an existing OO software production method introducing navi...
ICC
2009
IEEE
14 years 4 months ago
2009
IEEE
—This paper presents a cooperative single-input multiple-output (SIMO) transmission scheme for wireless sensor networks (WSNs), where the number of antennas and the constellation...