Sciweavers

1420 search results - page 49 / 284
» A combined functional and object-oriented approach to softwa...
Sort
View
BIOADIT
2006
Springer
15 years 9 months ago
Packet Classification with Evolvable Hardware Hash Functions - An Intrinsic Approach
Bandwidth demands of communication networks are rising permanently. Thus, the requirements to modern routers regarding packet classification are rising accordingly. Conventional al...
Harald Widiger, Ralf Salomon, Dirk Timmermann
FMSD
2002
107views more  FMSD 2002»
15 years 5 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
EWCBR
2004
Springer
15 years 11 months ago
Software Design Retrieval Using Bayesian Networks and WordNet
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
Paulo Gomes
ACSC
2004
IEEE
15 years 10 months ago
An Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
Leesa Murray, David A. Carrington, Paul A. Stroope...
CTW
2006
88views more  CTW 2006»
15 years 6 months ago
Using multiple cognitive task analysis methods for supervisory control interface design in high-throughput biological screening
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
David B. Kaber, Noa Segall, Rebecca S. Green, K. E...