: An Algorithm to Reduce the Time Complexity of Earliest Deadline First Scheduling Algorithm in Real-Time System.
: PERSEUS Technology: New Trends in Information and Communication Security.
, Georg Hager
: Optimizing ccNUMA locality for task-parallel execution under OpenMP and TBB on multicore-based systems.
: Behavioral subtyping through typed assertions.
: The Complexity of Euclidian 2 Dimension Travelling Salesman Problem versus General Assign Problem, NP is not P.
Erik R. Gast
, Michael S. Lew
: A Framework for Real-Time Face and Facial Feature Tracking using Optical Flow Pre-estimation and Template Tracking.
: An Intrusion Detection Architecture for Clustered Wireless Ad Hoc Networks.
: A Robust and Efficient Node Authentication Protocol for Mobile Ad Hoc Networks.
: A Robust and Fault-Tolerant Distributed Intrusion Detection System.
: An Adaptive and Multi-Service Routing Protocol for Wireless Sensor Networks.
, Rajesh Mehra
: High Speed and Area Efficient 2D DWT Processor based Image Compression" Signal & Image Processing.
Eberhard H.-A. Gerbracht
: "On the engineers' new toolbox" or Analog Circuit Design, using Symbolic Analysis, Computer Algebra, and Elementary Network Transformations.
: A Round-Robin Tournament of the Iterated Prisoner's Dilemma with Complete Memory-Size-Three Strategies.
: Diffusion of Confidential Information on Networks.
Randall J. Sobie
, Ashok Agarwal
, M. Anderson
, Patrick Armstrong
, K. Fransham
, Ian Gable
, D. Harris
, C. Leavett-Brown
, Michael Paterson
, D. Penfold-Brown
, M. Vliet
, Andre Charbonneau
, Roger Impey
, Wayne Podaima
: Data Intensive High Energy Physics Analysis in a Distributed Cloud.
M. Emre Celebi
: Improving the Performance of K-Means for Color Quantization.
, Eduardo Alonso
: The Local Optimality of Reinforcement Learning by Value Gradients, and its Relationship to Policy Gradient Learning.
: The Role of Computer Graphics in Documentary Film Production.
, Ying He
: GeoQuorum: Load Balancing and Energy Efficient Data Access in Wireless Sensor Networks.
: Refinement Types as Higher Order Dependency Pairs.
Joel A. Tropp
: From joint convexity of quantum relative entropy to a concavity theorem of Lieb.
: Bounding the Feedback Vertex Number of Digraphs in Terms of Vertex Degrees.
: A Probabilistic Variant of Projection Temporal Logic.
: Restarting Automata with Auxiliary Symbols and Small Lookahead.
: Safe Register Token Transfer in a Ring.
: Precise Schedulability Analysis for unfeasible to notify separately for comprehensive - EDF Scheduling of interrupted Hard Real-Time Tasks on the similar Multiprocessors.
: Automata and temporal logic over arbitrary linear time.
: A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol.
: A Novel Approach to the Statistical Modeling of Wireline Channels.
, Mai Vu
: Superposition Coding-Based Bounds and Capacity for the Cognitive Z-Interference Channels.
: The Complexity of 3SAT_N and the P versus NP Problem.
: From coinductive proofs to exact real arithmetic: theory and applications.