Sciweavers

1597 search results - page 231 / 320
» A Design Method for Object-Oriented Programming
Sort
View
115
Voted
ICDAR
2003
IEEE
15 years 8 months ago
A Prototype of an Active Form System
This paper describes prototyping of a form processing system employing dot texture for printing input frames of the form. The dot texture is the texture composed of small dots. It...
Taro Shimamura, Bilan Zhu, Atsushi Masuda, Motoki ...
117
Voted
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 8 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
125
Voted
IFL
2003
Springer
15 years 8 months ago
Dynamic Chunking in Eden
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
Jost Berthold
154
Voted
UM
2010
Springer
15 years 8 months ago
Modeling Long-Term Search Engine Usage
Search engines are key components in the online world and the choice of search engine is an important determinant of the user experience. In this work we seek to model user behavio...
Ryen W. White, Ashish Kapoor, Susan T. Dumais
DATE
2002
IEEE
102views Hardware» more  DATE 2002»
15 years 8 months ago
Library Compatible Ceff for Gate-Level Timing
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
Bernard N. Sheehan