Sciweavers

2498 search results - page 230 / 500
» A tool for materials exploration
Sort
View
PASTE
2005
ACM
16 years 6 days ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
OOPSLA
2004
Springer
15 years 12 months ago
A language-independent approach to software maintenance using grammar adapters
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
Suman Roychoudhury
HICSS
2002
IEEE
172views Biometrics» more  HICSS 2002»
15 years 11 months ago
Collaborative Software Development: A Discussion of Problem Solving Models and Groupware Technologies
Teamwork is always challenging. Adding the complication of problem solving and software design only amplifies this challenge. The challenges of developing software as a team can b...
Joanna DeFranco-Tommarello, Fadi P. Deek
ECIS
2001
15 years 8 months ago
Make or Buy - A Taxonomy of Intranet Implementation Strategies
Most modern organizations have implemented intranets for communication within the organization itself. Recently drastic changes have occurred on the supply side of the technology ...
Jan Karlsbjerg, Jan Damsgaard
PC
2008
142views Management» more  PC 2008»
15 years 6 months ago
Performance analysis challenges and framework for high-performance reconfigurable computing
Reconfigurable computing (RC) applications employing both microprocessors and FPGAs have potential for large speedup when compared with traditional (software) parallel application...
Seth Koehler, John Curreri, Alan D. George