Sciweavers

11234 search results - page 378 / 2247
» A Microsurgery Simulation System
Sort
View
IWSOC
2005
IEEE
133views Hardware» more  IWSOC 2005»
16 years 6 days ago
Design Mapping, and Simulations of a 3G WCDMA/FDD Basestation Using Network on Chip
This paper presents a case study of a single-chip 3G WCDMA/FDD basestation implementation based on a circuit-switched network on chip. As the amount of transistors on a chip conti...
Daniel Wiklund, Dake Liu
ICCS
2005
Springer
16 years 4 days ago
Simulation and Visualization of Air Flow Around Bat Wings During Flight
This paper presents a case study of interdisciplinary collaboration in building a set of tools to simulate and visualize airflow around bat wings during flight. A motion capture sy...
Igor Pivkin, Eduardo Hueso, R. Weinstein, David H....
EUC
2004
Springer
16 years 1 days ago
Construction of Distributed Object Group Framework and Its Execution Analysis Using Distributed Application Simulation
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...
Chang-Sun Shin, Chang-Won Jeong, Su-Chong Joo
PADL
2004
Springer
15 years 12 months ago
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
Chiyan Chen, Dengping Zhu, Hongwei Xi
ICCAD
2003
IEEE
140views Hardware» more  ICCAD 2003»
15 years 12 months ago
Circuit Simulation of Nanotechnology Devices with Non-monotonic I-V Characteristics
As research begins to explore potential nanotechnologies for future post-CMOS integrated systems, modeling and simulation environments must be developed that can accommodate the c...
Jiayong Le, Lawrence T. Pileggi, Anirudh Devgan