Sciweavers

785 search results - page 52 / 157
» First-class Synchronous Operations
Sort
View
HCI
2009
14 years 7 months ago
Modeling Human Actors in an Intelligent Automated Warehouse
Warehouse automation has progressed at a rapid pace over the last decade. While the tendency has been to implement fully automated solutions, most warehouses today exist as a mixtu...
Davy Preuveneers, Yolande Berbers
ICC
2007
IEEE
15 years 4 months ago
A Low Complexity Mapping and Modulation Scheme for IEEE 802.15.4b
: We detail a code mapping scheme designed especially for devices in the enhanced wireless personal area networks operating in both the 868MHz and 915MHz bands for the emerging IEE...
Manjeet Singh, Zhongding Lei, Francois P. S. Chin,...
USENIX
2001
14 years 11 months ago
Improving the FreeBSD SMP Implementation
UNIX-derived operating systems have traditionally have a simplistic approach to process synchronization which is unsuited to multiprocessor application. Initial FreeBSD SMP suppor...
Greg Lehey
GG
2010
Springer
14 years 11 months ago
Multi-Amalgamation in Adhesive Categories
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
Ulrike Golas, Hartmut Ehrig, Annegret Habel
PDP
2009
IEEE
15 years 4 months ago
Two Formal Semantics of a Subset of the Paderborn University BSPlib
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...
Frédéric Gava, Jean Fortin