Sciweavers

7311 search results - page 214 / 1463
» Time in State Machines
Sort
View
ISSRE
2006
IEEE
16 years 1 months ago
A State Exploration-Based Approach to Testing Java Monitors
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
Yu Lei, Richard H. Carver, David Chenho Kung, Vidu...
ICT
2004
Springer
130views Communications» more  ICT 2004»
16 years 16 days ago
Rayleigh Fading Multiple Access Channel Without Channel State Information
— In this paper we determine bounds of the capacity region of a two-user multipleaccess channel with Rayleigh fading when neither the transmitters nor the receiver has channel st...
Ninoslav Marina
INFOCOM
2003
IEEE
16 years 13 days ago
A State Feedback Control Approach to Stabilizing Queues for ECN-Enabled TCP Connections
— In this paper, we present an analytical TCP model that takes into account of several issues that were ignored in the other existing models (such as those in [15], [19]), i.e., ...
Yuan Gao, Jennifer C. Hou
CIKM
2009
Springer
15 years 11 months ago
RS-Wrapper: random write optimization for solid state drive
Solid State Drive (SSD), emerging as new data storage media with high random read speed, has been widely used in laptops, desktops, and data servers to replace hard disk during th...
Da Zhou, Xiaofeng Meng
C3S2E
2009
ACM
15 years 11 months ago
The promise of solid state disks: increasing efficiency and reducing cost of DBMS processing
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
Karsten Schmidt 0002, Yi Ou, Theo Härder