Sciweavers

1610 search results - page 198 / 322
» Communication Metrics for Software Development
Sort
View
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
14 years 4 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
TGC
2005
Springer
14 years 4 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
JMS
2008
83views more  JMS 2008»
13 years 10 months ago
Monitoring of Physiological Parameters from Multiple Patients Using Wireless Sensor Network
This paper presents a wireless sensor network system that has the capability to monitor physiological parameters from multiple patient bodies. The system uses the Medical Implant C...
Mehmet R. Yuce, Peng Choong Ng, Jamil Y. Khan
JCDL
2003
ACM
231views Education» more  JCDL 2003»
14 years 4 months ago
Acquisition, Representation, Query and Analysis of Spatial Data: A Demonstration 3D Digital Library
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...
Jeremy Rowe, Anshuman Razdan, Arleyn Simon
DATE
2006
IEEE
118views Hardware» more  DATE 2006»
14 years 4 months ago
Design and implementation of a modular and portable IEEE 754 compliant floating-point unit
Multimedia and communication algorithms from embedded system domain often make extensive use of floating-point arithmetic. Due to the complexity and expense of the floating-poin...
Kingshuk Karuri, Rainer Leupers, Gerd Ascheid, Hei...