Sciweavers

22864 search results - page 359 / 4573
» An Integrated and
Sort
View
ICFEM
1998
Springer
15 years 11 months ago
Defining Differentiation and Integration in Z
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony
DATE
1997
IEEE
109views Hardware» more  DATE 1997»
15 years 11 months ago
Cartesian multipole based numerical integration for 3D capacitance extraction
Application of the hierarchical Schur algorithm to the boundary element method for 3D capacitance extraction shifts the speed bottleneck from inversion of the influence matrix to...
U. Geigenmüller, N. P. van der Meijs
ISN
1998
Springer
15 years 11 months ago
Integrating TINA into an Internet-Based Services Market
The deregulation of the telecommunication industry is providing the basis for a competitive, open market in telecommunications services. The TINA Consortium is developing a softwar...
David Lewis, Thanassis Tiropanis
ITICSE
1996
ACM
15 years 11 months ago
Integrating animations into courses
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
Susan H. Rodger
ICRA
1994
IEEE
97views Robotics» more  ICRA 1994»
15 years 11 months ago
Integrating Sensing, Task Planning, and Execution
Abstract-This paper deals with enhancing the level of autonomy in a robotic work cell. With that mission in mind, we present here an integrated framework for the sensing, the plann...
C. P. Tung, Avinash C. Kak