Search results for "real time property"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Koichi Tokuno, Shigeru Yamada	Dynamic Performance Analysis for Software System Considering Real-Time Property in Case of NHPP Task Arrival.	SSIRI	2008	DBLP DOI BibTeX RDF	Infinite server queueing model, Performance evaluation, Markov process, Software reliability growth model, Real-time property, Multi-task system
2	Aimin Hao, Guifen Tian, Qinping Zhao, Zhide Li	An Accelerating Rendering Method of Hybrid Point and Polygon for Complex Three-Dimensional Models.	ICAT	2006	DBLP DOI BibTeX RDF	Modeling and rendering, Continuous multi-resolution models, Virtual reality, Point clouds, Real-time property
2	Jinfeng Huang, Jeroen Voeten, Marc Geilen	Real-time Property Preservation in Approximations of Timed Systems.	MEMOCODE	2003	DBLP DOI BibTeX RDF
2	Naohiro Kaji, Khaled Ragab, Takanori Ono, Kinji Mori	Autonomous Cooperation Technologies for Achieving Real Time Property and Fault Tolerance in Service Oriented Community System.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
2	Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam, Hei-Wing Leung	An Adaptive AVI-Based Cache Invalidation Scheme for Mobile Computing Systems. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	adaptive AVI based cache invalidation scheme, data item caching, data access delay, low bandwidth mobile network, cached items, Invalidation by Absolute Validity Interval, IAVI, absolute validate interval, update interval, last update time, self-invalidation mechanism, update event, invalidation report size, mobile computing, mobile computing systems, database server, system parameters, mobile clients, real time properties, real time property, invalidation report, mean response time
1	YuXiang Jiang, Cheng Xu, LuLu Zhang, ShanQin Wang	Design and Implementation for Real-Time Property of Serial Communication Based on WINDOWS CE.	IITSI	2010	DBLP DOI BibTeX RDF	Embedded application system, Real time, Data transmission
1	Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.	LICS	2009	DBLP DOI BibTeX RDF
1	Hongwei Gao, Weiming Tong	Research on Vehicle LIN Bus Frame Transmission and Real-Time Property.	Communications in Computing	2008	DBLP BibTeX RDF
1	Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen	Scheduling distributable real-time threads in the presence of crash failures and message losses.	SAC	2008	DBLP DOI BibTeX RDF	utility accrual, scheduling, distributed systems
1	Wang Xiuying, Xiao Lizhong, Shao Zhiqing	A Danger-Theory-Based Abnormal Traffic Detection Model in Local Network.	CSSE	2008	DBLP DOI BibTeX RDF
1	H. H. Park, JiMan Hong, S. M. Yang	Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems.	ICCSA	2008	DBLP DOI BibTeX RDF
1	Virpi Oksman, Ville Ollikainen, Elina Noppari, Carlos Herrero, Antti Tammela	'Podracing': experimenting with mobile TV content consumption and delivery methods.	Multimedia Syst.	2008	DBLP DOI BibTeX RDF	End-user experiences, Content consumption, 3G, Podcasting, Mobile TV, DVB-H
1	Suiping Zhou, Wentong Cai, Stephen John Turner, Bu-Sung Lee, Junhu Wei	Critical causal order of events in distributed virtual environments.	TOMCCAP	2007	DBLP DOI BibTeX RDF	virtual environments, distributed simulation, Causal order
1	Chunming Gao, Yong Li, Huowang Chen	Services Composition Modeling with Mobility and Time.	IEEE SCW	2007	DBLP DOI BibTeX RDF
1	Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen	Model Checking for BPEL4WS with Time.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Timed Mobile Ambient, model checking, modal logic, BPEL
1	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Predictable real-time software synthesis.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Real-time systems, Formal methods, Program synthesis
1	Steffen Stein, Arne Hamann, Rolf Ernst	Real-Time Property Verification in Organic Computing Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Zhiwang Chen, Jianxiong Li, Hongrui Wang	The Study of Multivariable Grey Generalized Predictive Control.	ICICIC	2006	DBLP DOI BibTeX RDF
1	Kun Zhang, Heng Wang, Feng-Yu Liu	An Efficient Algorithm Based on Simulated Annealing for Multicast Routing with Delay and Delay Variation Constraints.	AINA	2005	DBLP DOI BibTeX RDF
1	Chang-Sun Shin, Young-Jee Chung, Su-Chong Joo	Distributed Object Group Framework with Dynamic Reconfigurability of Distributed Services.	GCC	2004	DBLP DOI BibTeX RDF
1	Misato Tasaka, Hélène Arfaoui, Teruyoshi Zenmyo, Kinji Mori	Autonomous Process or Go Navigation Technology for Congestion Avoidance in Distributed Information Service System.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
1	Young-uk Chung, Dong-Ho Cho	Performance evaluation of soft handoff for multimedia services in intelligent transportation systems based on CDMA.	IEEE Transactions on Intelligent Transportation Systems	2003	DBLP DOI BibTeX RDF
1	Chang-Sun Shin, Myoung-Suk Kang, Chang-Won Jeong, Su-Chong Joo	TMO-Based Object Group Framework for Supporting Distributed Object Management and Real-Time Services.	APPT	2003	DBLP DOI BibTeX RDF
1	Suiping Zhou, Wentong Cai, Stephen John Turner, Francis B. S. Lee	Critical causality in distributed virtual environments.	PADS	2002	DBLP DOI BibTeX RDF	virtual environments, distributed simulation, causality
1	Takanori Ono, Khaled Ragab, Naohiro Kaji, Kinji Mori	Service Oriented Communication Technology for Achieving Assurance.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	Local Majority, Community, Autonomy, Information Service
1	Hisashi Koga	Jitter Regulation in an Internet Router with Delay Consideration.	ESA	2000	DBLP DOI BibTeX RDF
1	Hideo Hanamura, Isao Kaji, Kinji Mori	Autonomous Consistency Technique in Distributed Database with Heterogeneous Requirements.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
1	Sun-Mi Jun, Dong-Hui Yu, Young-Ho Kim, Soon-Yong Seong	A Time Synchronization Method for NTP.	RTCSA	1999	DBLP DOI BibTeX RDF	clock modeling, time synchronization, embedded system design, time management, NTP
1	Eun-Mi Song, Chanho Ryu, Mi-Sun Choi, Young-Kuk Kim, Seong-il Jin, Young-Keol Kim, Mi-kyong Han, Wan Choi	No-Log Recovery Mechanism Using Stable Memory For Real-Time Main Memory Database Systems.	RTCSA	1999	DBLP DOI BibTeX RDF
1	Taewoong Kim, Heonshik Shin, Naehyuck Chang	Scheduling algorithm for hard real-time communication in demand priority network.	ECRTS	1998	DBLP DOI BibTeX RDF
1	Jianhua Zhao, Dang Van Hung	On Checking Parallel Real-Time Systems for Linear Duration Properties.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Hideyuki Takada, Ken Sakamura	Compact, low-cost, but real-time distributed computing for computer augmented environments.	FTDCS	1995	DBLP DOI BibTeX RDF	building management systems, compact low-cost real-time distributed computing, TRON Project, highly functionally distributed systems, low-cost distributed computing systems, standard real-time kernel specification, small-scale embedded systems, low-cost real-time LAN, TRON-concept Computer Augmented Building, real-time systems, distributed processing, local area networks, intelligent control, embedded computers, operating system kernels, home automation, computer augmented environments