Sciweavers

1937 search results - page 255 / 388
» Starting B Specifications from Use Cases
Sort
View
DAC
2000
ACM
16 years 7 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
HICSS
2006
IEEE
124views Biometrics» more  HICSS 2006»
16 years 16 days ago
Perceptions of Agility and Collaboration in Software Development Practice
Agility is a facet of software development attracting increasing interest. The purpose of this paper is to investigate the value of agility in practice. Data collected from senior...
Chaitali Patel, Mark Lycett, Robert D. Macredie, S...
LSO
2001
Springer
15 years 11 months ago
Knowledge Elicitation through Web-Based Data Mining Services
Knowledge is a vital component for organisational growth and data mining provides the technological basis for automated knowledge elicitation from data sources. The emergence of Ap...
Shonali Krishnaswamy, Seng Wai Loke, Arkady B. Zas...
HOTOS
1999
IEEE
15 years 10 months ago
ISTORE: Introspective Storage for Data-Intensive Network Services
Today's fast-growing data-intensive network services place heavy demands on the backend servers that support them. This paper introduces ISTORE, an intelligent server archite...
Aaron B. Brown, David L. Oppenheimer, Kimberly Kee...
FPGA
2006
ACM
111views FPGA» more  FPGA 2006»
15 years 10 months ago
FPGA clock network architecture: flexibility vs. area and power
This paper examines the tradeoffs between flexibility, area, and power dissipation of programmable clock networks for FieldProgrammable Gate Arrays (FPGA's). The paper begins...
Julien Lamoureux, Steven J. E. Wilton