Sciweavers

2625 search results - page 438 / 525
» The development of the Emerald programming language
Sort
View
AC
2003
Springer
15 years 9 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
CP
2003
Springer
15 years 9 months ago
Box Constraint Collections for Adhoc Constraints
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
IFIP
2003
Springer
15 years 9 months ago
An Enhanced MAC Architecture for Multi-hop Wireless Networks
The IEEE 802.11 MAC family of standards has been designed for communication in traditional wireless LANs. The enhancement of the IEEE 802.11 family of standards is mainly seen in t...
R. Bernasconi, I. Defilippis, Silvia Giordano, Ale...
IFIP
2003
Springer
15 years 9 months ago
Testing Mobile Wireless Applications
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
Ichiro Satoh
UM
2010
Springer
15 years 9 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