Sciweavers

1791 search results - page 45 / 359
» Behavioral Operations
Sort
View
POPL
2008
ACM
16 years 4 days ago
High-level small-step operational semantics for transactions
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
Katherine F. Moore, Dan Grossman
ISCC
2000
IEEE
156views Communications» more  ISCC 2000»
15 years 4 months ago
Inverse Multiplexing for ATM. Technical Operation, Applications and Performance Evaluation Study
-- In a WAN established infrastructure, one of the main problems ATM network planners and users face, when greater than T1/E1 bandwidth is required, is the high cost associated to ...
Marcos Postigo-Boix, Mónica Aguilar-Igartua...
HRI
2006
ACM
15 years 5 months ago
Effects of head movement on perceptions of humanoid robot behavior
This paper examines human perceptions of humanoid robot behavior, specifically how perception is affected by variations in head tracking behavior under constant gestural behavior....
Emily Wang, Constantine Lignos, Ashish Vatsal, Bri...
SIGSOFT
2007
ACM
16 years 17 days ago
Mining specifications of malicious behavior
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
Mihai Christodorescu, Somesh Jha, Christopher Krue...
ISCAS
2005
IEEE
113views Hardware» more  ISCAS 2005»
15 years 5 months ago
A study of high-frequency regenerative frequency dividers
−−−− A comprehensive analytical study of high-frequency regenerative frequency dividers (RFD) is presented. The study includes two fundamental modes of operation in RFDs, n...
Amin Q. Safarian, Payam Heydari