Search results for "ticks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Dan Tsafrir, Yoav Etsion, Dror G. Feitelson, Scott Kirkpatrick	System noise, OS clock ticks, and fine-grained parallel applications.	ICS	2005	DBLP DOI BibTeX RDF	modeling system noise, smart timers, timer interrupts, timing services, synchronization, operating systems, HPC, ticks
69	Arthur T. Whitney, Dennis E. Shasha	Lots o' Ticks: Real-Time High Performance Time Series Queries on Billions of Trades and Quotes.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF	time series, finance, parallel databases
55	Lei Ju 0001, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury	Context-sensitive timing analysis of Esterel programs.	DAC	2009	DBLP DOI BibTeX RDF	worst-case execution time (WCET) analysis, Esterel, synchronous programming
36	Mieko Tanaka-Yamawaki, Seiji Tokuoka	Adaptive Use of Technical Indicators for Predicting the Intra-Day Price Movements.	KES (2)	2007	DBLP DOI BibTeX RDF	Technical Indicators, Intra-day Price Movements, Foreign Exchange Rates, Stock Prices, Prediction
36	Franck Pommereau	Causal Time Calculus.	FORMATS	2003	DBLP DOI BibTeX RDF
33	Dan Tsafrir	The context-switch overhead inflicted by hardware interrupts (and the enigma of do-nothing loops).	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	clock interrupts, operating system noise, ticks
32	Andrew Coles, Erez Karpas, Andrey Lavrinenko, Wheeler Ruml, Solomon Eyal Shimony, Shahaf S. Shperberg	Planning and Acting While the Clock Ticks.	CoRR	2024	DBLP DOI BibTeX RDF
32	Amy Yo Sue Chen, William Odom, Sol Kang, Carman Neustaedter	PhotoClock: Reliving Memories in Digital Photos as the Clock Ticks in the Present Moment.	Conference on Designing Interactive Systems	2023	DBLP DOI BibTeX RDF
32	Christoph Reichenbach	Software Ticks Need No Specifications.	ICSE (NIER)	2021	DBLP DOI BibTeX RDF
32	Francesco Malandrino, Carla-Fabiana Chiasserini, Giuseppe Avino, Marco Malinverno, Scott Kirkpatrick	From Megabits to CPU Ticks: Enriching a Demand Trace in the Age of MEC.	IEEE Trans. Big Data	2020	DBLP DOI BibTeX RDF
32	Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden	A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts.	FDL	2020	DBLP DOI BibTeX RDF
32	Daniele Da Re, Eva M. De Clercq, Enrico Tordoni, Maxime Madder, Raphaël Rousseau, Sophie O. Vanwambeke	Looking for Ticks from Space: Using Remotely Sensed Spectral Diversity to Assess Amblyomma and Hyalomma Tick Abundance.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
32	Francesco Malandrino, Carla-Fabiana Chiasserini, Giuseppe Avino, Marco Malinverno, Scott Kirkpatrick	From Megabits to CPU~Ticks: Enriching a Demand Trace in the Age of MEC.	CoRR	2018	DBLP BibTeX RDF
32	Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml	Temporal Planning while the Clock Ticks.	ICAPS	2018	DBLP BibTeX RDF
32	Reinhard von Hanxleden, Timothy Bourke, Alain Girault	Real-time ticks for synchronous programming.	FDL	2017	DBLP DOI BibTeX RDF
32	Lex van Velsen, Desirée J. M. A. Beaujean, Jobke Wentzel, Jim E. Van Steenbergen, Julia E. W. C. van Gemert-Pijnen	Developing requirements for a mobile app to support citizens in dealing with ticks and tick bites via end-user profiling.	Health Informatics J.	2015	DBLP DOI BibTeX RDF
32	Paul Beynon-Davies, Hugh Mackay, Douglas Tudhope	'It's lots of bits of paper and ticks and post-it notes and things...': a case study of a rapid application development project.	Inf. Syst. J.	2000	DBLP DOI BibTeX RDF
18	Marc Cheong, Vincent C. S. Lee	Integrating web-based intelligence retrieval and decision-making from the twitter trends knowledge base.	CIKM-SWSM	2009	DBLP DOI BibTeX RDF	decision making, knowledge base, collective intelligence, twitter, microblogging, trend analysis, memetics
18	B. Aditya Prakash, Nicholas Valler, David G. Andersen, Michalis Faloutsos, Christos Faloutsos	BGP-lens: patterns and anomalies in internet routing updates.	KDD	2009	DBLP DOI BibTeX RDF	BGP monitoring, patterns, self-similarity, anomalies
18	Elizabeth Whitaker Lynch, George F. Riley	Hardware Supported Time Synchronization in Multi-core Architectures.	PADS	2009	DBLP DOI BibTeX RDF	multi-core synchronization
18	Jimeng Sun 0001, Charalampos E. Tsourakakis, Evan Hoke, Christos Faloutsos, Tina Eliassi-Rad	Two heads better than one: pattern discovery in time-evolving multi-aspect data.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Multilinear analysis, Wavelet, Tensor, Stream mining
18	Jimeng Sun 0001, Charalampos E. Tsourakakis, Evan Hoke, Christos Faloutsos, Tina Eliassi-Rad	Two Heads Better Than One: Pattern Discovery in Time-Evolving Multi-aspect Data.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF
18	Marina Biberstein, Yuval Harel, Andre Heilper	Clock Synchronization in Cell BE Traces.	Euro-Par	2008	DBLP DOI BibTeX RDF
18	Giovani Gracioli, Danillo Moura Santos, Roberto de Matos, Lucas Francisco Wanner, Antônio Augusto Fröhlich	One-Shot Time Management Analysis in EPOS.	SCCC	2008	DBLP DOI BibTeX RDF
18	David Thorsley, Demosthenis Teneketzis	Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Measurement scheduling, Sensor optimization, Supervisory control, Failure diagnosis
18	Thomas A. Henzinger, Christoph M. Kirsch	The embedded machine: Predictable, portable real-time code.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Real time, virtual machine
18	Tuan Le Dinh, Wen Hu, Pavan Sikka, Peter I. Corke, Leslie Overs, Stephen Brosnan	Design and Deployment of a Remote Robust Sensor Network: Experiences from an Outdoor Water Quality Monitoring Network.	LCN	2007	DBLP DOI BibTeX RDF
18	C. Michael Olsen, Chandra Narayanaswami	PowerNap: An Efficient Power Management Scheme for Mobile Devices.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	operating systems, Power management, mobile systems, processors
18	Nima Honarmand, M. Reza Javaheri, Naser Sedaghati-Mokhtari, Ali Afzali-Kusha	Power efficient sequential multiplication using pre-computation.	ISCAS	2006	DBLP DOI BibTeX RDF
18	Joe Weakliam, Michela Bertolotto, David C. Wilson	Implicit interaction profiling for recommending spatial content.	GIS	2005	DBLP DOI BibTeX RDF	implicit profiling, data mining, personalization, user modeling, user interaction
18	Wolfgang E. Nagel, Thomas Ludwig 0002, Jeffrey S. Vetter, Lorenzo Donatiello	Topic 2: Performance Evaluation.	Euro-Par	2004	DBLP DOI BibTeX RDF
18	Mieko Tanaka-Yamawaki	On the Predictability of High-Frequency Financial Time Series.	KES	2003	DBLP DOI BibTeX RDF
18	Jo C. Ebergen	Circuits Without Clocks: What Makes Them Tick?	OPODIS	2003	DBLP DOI BibTeX RDF
18	Thomas A. Henzinger, Christoph M. Kirsch	The Embedded Machine: Predictable, Portable Real-Time Code.	PLDI	2002	DBLP DOI BibTeX RDF	real time, virtual machine
18	Bernard Hugueney, Bernadette Bouchon-Meunier	Time-Series Segmentation and Symbolic Representation, from Process-Monitoring to Data-Mining.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
18	Byungdae Jung, Jae-In Hwang, Sangyoon Lee, Gerard Jounghyun Kim, Hyunbin Kim	Incorporating co-presence in distributed virtual music environment.	VRST	2000	DBLP DOI BibTeX RDF	Virtual Music, Interaction, Co-presence, Networked Virtual Reality, Distributed Virtual Reality
18	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	Formula Based Abstractions of Transition Systems for Real-Time Model Checking.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
18	Rob Thomsett	The Year 2000 Bug: A Forgotten Lesson.	IEEE Softw.	1998	DBLP DOI BibTeX RDF
18	Jürgen Teich, Lothar Thiele, Sundararajan Sriram, Michael Martin 0002	Performance analysis and optimization of mixed asynchronous synchronous systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
18	Xiaoyang Sean Wang, Claudio Bettini, Alexander Brodsky 0001, Sushil Jajodia	Logical Design for Temporal Databases with Multiple Granularities.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	Boyce-Codd normal form, graularity, temporal modules, temporal databases, normalization, temporal relations, third normal form
18	Dang Van Hung, Ko Kwang Il	Verification via Digitized Models of Real-Time Hybrid Systems.	APSEC	1996	DBLP DOI BibTeX RDF	real-time hybrid systems, digitized models, int formula, digital states, analog states, time reasoning, intuitive model, natural induction rules, distributed systems, verification, formal specification, specification, communication protocols, duration calculus, system clock
18	Charles André	Delays in synchronized elementary net systems.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Synchronized Elementary Net Systems, Delay, Process, Time Petri nets, POset, Elementary Net Systems, Dioid