561 search results - page 86 / 113 » A Methodology for Example-Based Specification and Design |
ASPLOS
2006
ACM
14 years 7 days ago
2006
ACM
We propose regression modeling as an efficient approach for accurately predicting performance and power for various applications executing on any microprocessor configuration in a...
POPL
2010
ACM
13 years 11 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
AGILEDC
2008
IEEE
14 years 3 months ago
2008
IEEE
In agile software development, planning meetings play a pivotal role in establishing a concrete understanding of customers’ requirements. Using tools to enhance the effectivenes...
WISE
2008
Springer
14 years 2 months ago
2008
Springer
In the last few years, almost all model-driven Web Engineering approaches have evolved in response to the new challenges of Web systems design, which are due to new requirements an...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
– MIMO (Multiple Input Multiple Output) is capable of offering several-fold increase in spectral efficiency over singleantenna systems through spatial processing. However, curren...