Sciweavers

4636 search results - page 769 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
ICCAD
1997
IEEE
121views Hardware» more  ICCAD 1997»
15 years 3 months ago
Adaptive methods for netlist partitioning
An algorithm that remains in use at the core of many partitioning systems is the Kernighan-Lin algorithm and a variant the Fidducia-Matheysses (FM) algorithm. To understand the FM...
Wray L. Buntine, Lixin Su, A. Richard Newton, Andr...
76
Voted
IJRR
2007
90views more  IJRR 2007»
14 years 11 months ago
Assessment of Tissue Damage due to Mechanical Stresses
t – While there are many benefits to minimally invasive surgery, force feedback, or touch sensation, is lacking in the currently available MIS tools, including surgical robots, c...
Smita De, Jacob Rosen, Aylon Dagan, Blake Hannafor...
EMSOFT
2009
Springer
15 years 5 months ago
Implementing time-predictable load and store operations
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
Jack Whitham, Neil C. Audsley
CSCWD
2001
Springer
15 years 3 months ago
Update Algorithms for the Sketch Data Model
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
Michael Johnson, Robert D. Rosebrugh
CSEE
2000
Springer
15 years 3 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...