6111 search results - page 1036 / 1223 » Time, Hardware, and Uniformity |
147
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
Information and Access Technology Services at the University of Missouri-Columbia has long struggled with its physical location on the edge of campus. In my 20+ years of experienc...
205
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
197
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
181
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
175
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Typically,cell parameterssuch as the pin-to-pinintrinsicdelays, load-dependentcoe cients,andinputpin capacitanceshavedifferent values for rising and falling signals. The performan...