Search results for "tasking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	S. Ayandeh, Earl Layton Morris	Pascal, modula-2 and multi-tasking kernel implementation.	Softw. Eng. J.	1987	DBLP DOI BibTeX RDF
17	Ronald Huijsman, Jan van Katwijk, W. J. Toetenel	Performance aspects of Ada tasking in embedded systems.	Microprocess. Microprogramming	1987	DBLP DOI BibTeX RDF
17	Fazel Naghdy, Golshah Naghdy, D. Smith, John Billingsley	Parallel control of a waste-water treatment plant using a real-time multi-tasking operating system.	Microprocess. Microprogramming	1987	DBLP DOI BibTeX RDF
17	Alan Burns 0001, Andrew M. Lister, Andy J. Wellings	A Review of Ada Tasking		1987	DOI RDF
17	Paul Slonaker, Mark S. Smith, Sharon Prizant, Judith M. Giles	Development of multi-tasking software in Ada - a case study.	WADAS	1987	DBLP BibTeX RDF
17	Gary Frankel	Improving Ada tasking performance.	IRTAW	1987	DBLP DOI BibTeX RDF
17	Theodore P. Baker	A low-level tasking package for Ada.	SIGAda	1987	DBLP DOI BibTeX RDF
17	Philip J. Lefebvre	Reclamation of memory for dynamic Ada tasking.	SIGAda	1987	DBLP DOI BibTeX RDF
17	Russell M. Clapp, Trevor N. Mudge, Richard A. Volz	Solutions to the n Queens problem using tasking in Ada.	ACM SIGPLAN Notices	1986	DBLP DOI BibTeX RDF
17	Theodore P. Baker, Gregory A. Riccardi	Ada Tasking: From semantics to Efficient Implementation.	IEEE Softw.	1985	DBLP DOI BibTeX RDF
17	David Heimbold, David C. Luckham	Debugging Ada Tasking Programs.	IEEE Softw.	1985	DBLP DOI BibTeX RDF
17	Nelson H. Weiderman, Catherine W. Johnson	An animated instructional model for Ada tasking.	WADAS	1985	DBLP DOI BibTeX RDF
17	Gregory A. Riccardi, Theodore P. Baker	A runtime supervisor to support Ada tasking: rendezvous and delays.	SIGAda	1985	DBLP BibTeX RDF
17	Steven M. German	Monitoring for Deadlock and Blocking in Ada Tasking.	IEEE Trans. Software Eng.	1984	DBLP DOI BibTeX RDF
17	Anders Ardö	Experimental implementation of an Ada tasking run-time system on the multiprocessor computer Cm.	WADAS	1984	DBLP DOI BibTeX RDF
17	Guido Persch, Hans-Stephan Jansohn, Rudolf Landwehr, Jürgen Uhl, Manfred Dausmann, Walter Kirchgässner	A portable ADA tasking system for single processors.	Programmierumgebungen und Compiler	1984	DBLP BibTeX RDF
17	Paul N. Hilfinger	Implementation strategies for Ada tasking idioms.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
17	Geert B. Clemmensen	A formal model of distributed Ada tasking.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
17	Steven M. German, David P. Helmbold, David C. Luckham	Monitoring for deadlocks in Ada tasking.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
17	Seif Haridi, John-Olof Bauner, Gert Svensson	An implementation and empirical evaluation of the tasking facilities in ADA.	ACM SIGPLAN Notices	1981	DBLP DOI BibTeX RDF
17	M. Kronental, J. W. Roberts, K. H. Timmesfeld, I. C. Wand	The LTPL-E Tasking Proposals.	Softw. Pract. Exp.	1981	DBLP DOI BibTeX RDF
17	Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein	The Tasking Facility of Ada.	Implementierungssprachen für nichtsequentielle Programmsysteme	1981	DBLP BibTeX RDF
17	Douglas W. Jones	Tasking and parameters: a problem area in Ada.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
17	Kuo-Chung Tai, Kenneth P. Garrard	Comments on the suggested implementation of tasking facilities in the "rationale for the design of the ADA programming language".	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
17	Hans Henrik Løvengreen, Dines Bjørner	On a formal model of the tasking concept in Ada.	SIGPLAN	1980	DBLP DOI BibTeX RDF
17	Alan B. Mimms	A simple multi-tasking operating system for a microcomputer.	ACM-SE	1978	DBLP DOI BibTeX RDF
17	M. Donald MacLaren	Tasking in standard PL/I.	SIGPLAN-SIGOPS Interface Meeting	1973	DBLP DOI BibTeX RDF
17	Daniel M. Berry	The equivalence of models of tasking.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
11	Jérémie Melchior	Distributed user interfaces in space and time.	EICS	2011	DBLP DOI BibTeX RDF
11	Taehoon Kim, Bora Kang, E. K. Park, Sungwoo Tak	Integrating real-time hybrid task scheduling into a sensor node platform.	SAC	2010	DBLP DOI BibTeX RDF	hybrid task sets, sensor node platform, scheduling
11	Ilya Chukhman, Peter Petrov	Context-aware TLB preloading for interference reduction in embedded multi-tasked systems.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	TLB management, real-time multi-processing
11	Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago	A comparison of software platforms for wireless sensor networks: MANTIS, TinyOS, and ZigBee.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	application porting, Wireless sensor networks, software platform
11	Matteo Ceriotti 0001, Luca Mottola, Gian Pietro Picco, Amy L. Murphy, Stefan Guna, Michele Corrà, Matteo Pozzi, Daniele Zonta, Paolo Zanon	Monitoring heritage buildings with wireless sensor networks: The Torre Aquila deployment.	IPSN	2009	DBLP DOI BibTeX RDF
11	Omprakash Gnawali, Jongkeun Na, Ramesh Govindan	Application-informed radio duty-cycling in a re-taskable multi-user sensing system.	IPSN	2009	DBLP DOI BibTeX RDF
11	Marcello Bonfè, Matteo Vignali, Mario Fiorini	PLC-based control of a robot manipulator with closed kinematic chain.	ICRA	2009	DBLP DOI BibTeX RDF
11	Dvijesh J. Shastri, Ioannis T. Pavlidis, Avinash Wesley	A Method to Monitor Operator Overloading.	HCI (1)	2009	DBLP DOI BibTeX RDF	Human-Machine Interaction, stress, thermal imaging, divided attention
11	Jianqiang Shen, Erin Fitzhenry, Thomas G. Dietterich	Discovering frequent work procedures from resource connections.	IUI	2009	DBLP DOI BibTeX RDF	data mining, workflow, resource management, provenance, intelligent interfaces, automated assistance
11	Wojciech Cellary	Networked Virtual Organizations: A Chance for Small and Medium Sized Enterprises on Global Markets.	I3E	2009	DBLP DOI BibTeX RDF	context competences, virtual organizations, virtual teams, small and medium size enterprises, core competences
11	George H. Ford Jr., Ramesh K. Karne, Alexander L. Wijesinha, Patrick Appiah-Kubi	The Design and Implementation of a Bare PC Email Server.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
11	Jingshan Li, Dingsheng Liu	Design and Implementation of a Scalable General High Performance Remote Sensing Satellite Ground Processing System on Performance and Function.	ICCS (2)	2009	DBLP DOI BibTeX RDF	data processing system, scalable, parallel computing, clusters computing, remote sensing
11	Jessie Y. C. Chen	Concurrent performance of military tasks and robotics tasks: effects of automation unreliability and individual differences.	HRI	2009	DBLP DOI BibTeX RDF	imperfect automation, simulation, human robot interaction, tactile display, individual differences, military, cueing, reconnaissance
11	Vikas Reddy Enti, Rajesh Arumugam, Krishnamoorthy Baskaran, Bingbing Liu, Foo Kong Foong, Appadorai Senthil Kumar, Dee Meng Kang, Xiaojun Wu, Wai Kit Goh	Tea table, come closer to me.	HRI	2009	DBLP DOI BibTeX RDF	robot intermediaries, multi-agent system
11	Ramkumar Jayaseelan, Tulika Mitra	Temperature Aware Scheduling for Embedded Processors.	VLSI Design	2009	DBLP DOI BibTeX RDF
11	Song Guo, Chunxia Fan, Thomas D. C. Little	Supporting Concurrent Task Deployment Wireless Sensor Networks.	NCA	2008	DBLP DOI BibTeX RDF
11	Gregg Podnar, John M. Dolan, Alberto Elfes, Stephen B. Stancliff, Ellie Lin, Jeffrey C. Hosier, Troy J. Ames, John Moisan, Tiffany A. Moisan, John Higinbotham, Eric A. Kulczycki	Operation of robotic science boats using the telesupervised adaptive ocean sensor fleet system.	ICRA	2008	DBLP DOI BibTeX RDF
11	Alejandro Duran, Julita Corbalán, Eduard Ayguadé	Evaluation of OpenMP Task Scheduling Strategies.	IWOMP	2008	DBLP DOI BibTeX RDF
11	Gunar Schirner, Andreas Gerstlauer, Rainer Dömer	Automatic generation of hardware dependent software for MPSoCs from abstract system specifications.	ASP-DAC	2008	DBLP DOI BibTeX RDF
11	Yuanqiang Huang, Depei Qian, Zhongzhi Luan, Yongjian Wang, Zhongxin Wu, Bingheng Yan	EOMT: A Master-Slave Task Scheduling Strategy for Grid Environment.	HPCC	2008	DBLP DOI BibTeX RDF
11	Christopher Miller 0001, Christian Poellabauer	PALER: A Reliable Transport Protocol for Code Distribution in Large Sensor Networks.	SECON	2008	DBLP DOI BibTeX RDF
11	Wenyin Fu, Katherine Compton	Active kernel monitoring to combat scheduler gaming in reconfigurable computing systems.	FPL	2008	DBLP DOI BibTeX RDF
11	Mat Felthousen	The trail less traveled: making computing labs usable by removing barriers.	SIGUCCS	2008	DBLP DOI BibTeX RDF	public computing labs
11	Mathias Ekman, Henrik Thane	Real-time dynamic relinking.	IPDPS	2008	DBLP DOI BibTeX RDF
11	John W. McCormick	MA1: Ada for real-time and parallel processing.	SIGAda	2008	DBLP DOI BibTeX RDF	software engineering, design, reliability, real-time, parallel processing, ada, software, safety, languages, systems, assurance, high integrity
11	John W. McCormick	Ada and software engineering education: one professor's experiences.	SIGAda	2008	DBLP DOI BibTeX RDF	model railroads, model trains, real-time, education, ada, c, embedded, laboratory
11	Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra	Scratchpad allocation for concurrent embedded software.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	WCET, message sequence chart, scratchpad memory
11	Wenyin Fu, Katherine Compton	Scheduling Intervals for Reconfigurable Computing.	FCCM	2008	DBLP DOI BibTeX RDF
11	Kirsten Terfloth, Jochen H. Schiller	Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks.	RuleML	2008	DBLP DOI BibTeX RDF	reactive rules, RDL, domain-specific language, FACTS
11	Alejandro Duran, Julita Corbalán, Eduard Ayguadé	An adaptive cut-off for task parallelism.	SC	2008	DBLP DOI BibTeX RDF
11	David J. Bruemmer, Curtis W. Nielsen, David I. Gertman	How training and experience affect the benefits of autonomy in a dirty-bomb experiment.	HRI	2008	DBLP DOI BibTeX RDF	expert user, seamless autonomy, human-robot interaction, map-building
11	Bernhard Hengst	Partial Order Hierarchical Reinforcement Learning.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF
11	Iulian Ober, Nicolas Halbwachs	On the Timed Automata-Based Verification of Ravenscar Systems.	Ada-Europe	2008	DBLP DOI BibTeX RDF
11	Diego Alonso, Cristina Vicente-Chicote, Juan Angel Pastor, Bárbara Álvarez	StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Model-To-Text Transformation, Thread-Safe Code Generation, Eclipse platform, Finite State Machines, Model-Driven Engineering
11	Xavier Teruel, Priya Unnikrishnan, Xavier Martorell, Eduard Ayguadé, Raúl Silvera, Guansong Zhang, Ettore Tiotto	OpenMP tasks in IBM XL compilers.	CASCON	2008	DBLP DOI BibTeX RDF
11	Anca Mariana Molnos, Sorin Dan Cotofana, Marc J. M. Heijligers, Jos T. J. van Eijndhoven	Static Cache Partitioning Robustness Analysis for Embedded On-Chip Multi-processors.	Trans. High Perform. Embed. Archit. Compil.	2007	DBLP DOI BibTeX RDF
11	Yoram Eshet-Alkalai	Humans under bombardment: performing in a real-time world.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	digital literacy, real-time environment, real-time thinking
11	Jaisiel Madrid-Sánchez, Miguel Lázaro-Gredilla, Aníbal R. Figueiras-Vidal	A Single Layer Perceptron Approach to Selective Multi-task Learning.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
11	Mark Thompson 0001, Andy D. Pimentel	Towards Multi-application Workload Modeling in Sesame for System-Level Design Space Exploration.	SAMOS	2007	DBLP DOI BibTeX RDF
11	Laura Carnevali, Luigi Sassoli, Enrico Vicario	Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.	ECRTS	2007	DBLP DOI BibTeX RDF
11	Erin M. Nishimura, Evan D. Rapoport, Benjamin A. Darling, Dennis Proffitt, Traci H. Downs, J. Hunter Downs	Physiologic System Interfaces Using fNIR with Tactile Feedback for Improving Operator Effectiveness.	HCI (16)	2007	DBLP DOI BibTeX RDF	physiologic system interfaces, functional near-infrared (fNIR), tactile communications, tactile
11	Mohamed Ibrahim, Osama Al-Shara	Impact of Interactive Learning on Knowledge Retention.	HCI (9)	2007	DBLP DOI BibTeX RDF	simulation, interactivity, pedagogy, elearning
11	Zhaozhong Ni, Dachuan Yu, Zhong Shao	Using XCAP to Certify Realistic Systems Code: Machine Context Management.	TPHOLs	2007	DBLP DOI BibTeX RDF
11	Robert Kozma 0001, Terry Huntsberger, Hrand Aghazarian, Walter J. Freeman	Implementing intentional robotics principles using SSR2K platform.	IROS	2007	DBLP DOI BibTeX RDF
11	Huynh Phung Huynh, Tulika Mitra	Instruction-set customization for real-time embedded systems.	DATE	2007	DBLP DOI BibTeX RDF
11	Dimitrios Georgakopoulos 0001, Donald Baker, Marian H. Nodine, Andrzej Cichocki	Event-driven Video Awareness Providing Physical Security.	World Wide Web	2007	DBLP DOI BibTeX RDF	awareness, video surveillance, complex event processing
11	Claudia Roda, Thierry Nabeth	Supporting Attention in Learning Environments: Attention Support Services, and Information Management.	EC-TEL	2007	DBLP DOI BibTeX RDF	Attention Aware Systems, Learning Environments
11	Debbie Beard, Dana Schwieger, Ken Surendran	Incorporating soft skills into accounting and MIS curricula.	CPR	2007	DBLP DOI BibTeX RDF	assurance of learning, education, soft skills, experiential learning
11	Holger Lange, Andreas Koch 0001	An Execution Model for Hardware/Software Compilation and its System-Level Realization.	FPL	2007	DBLP DOI BibTeX RDF
11	Daniel MacCormac, Mark Deegan, Fredrick Mtenzi, Brendan O'Shea	A Thin Client Approach to Supporting Adaptive Session Mobility.	GPC	2007	DBLP DOI BibTeX RDF
11	John W. McCormick	MA1: real-time and parallel processing in ada.	SIGAda	2007	DBLP DOI BibTeX RDF
11	John G. P. Barnes	SA1: introducing the best of ada.	SIGAda	2007	DBLP DOI BibTeX RDF
11	Nan Guan, Zonghua Gu 0001, Qingxu Deng, Shuaihong Gao, Ge Yu 0001	Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.	SEUS	2007	DBLP DOI BibTeX RDF
11	Stephen J. Payne	Modelling Activity Switching.	TAMODIA	2007	DBLP DOI BibTeX RDF
11	Shigeru Kusakabe, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya	Scalability of continuation-based fine-grained multithreading in handling multiple I/O requests on FUCE.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	fine-grained multithreading, operating systems, I/O
11	Zonghua Gu 0001, Mingxuan Yuan, Xiuqiang He 0001	Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
11	Stephanie L. Woerner, JoAnne Yates, Wanda J. Orlikowski	Conversational Coherence in Instant Messaging and Getting Work Done.	HICSS	2007	DBLP DOI BibTeX RDF
11	Vir V. Phoha, Shashi Phoha	Situation-Aware Software Engineering for Sensor Networks.	COMSWARE	2007	DBLP DOI BibTeX RDF
11	Víctor M. González 0001, Leonardo Galicia, Jesús Favela	Supporting the Planning and Organization of Multiple Activities in the Workplace.	INTERACT (1)	2007	DBLP DOI BibTeX RDF	Personal Activity Management, Planning Activities, Personal Productivity, Information Technology, Knowledge Workers
11	Stephen O'Hara, Nathan Dwyer	Agent-based reduction of information density (ARID) demonstration.	AAMAS	2007	DBLP DOI BibTeX RDF	decluttering, UAV, command and control, subjective logic
11	Khaled Barbaria, Jérôme Hugues, Laurent Pautet	Design and Performance of a Generic Consensus Component for Critical Distributed Applications.	Ada-Europe	2007	DBLP DOI BibTeX RDF
11	Zon-Yin Shae, Dinesh Garg, Rajarshi Bhose, Ritabrata Mukherjee, Sinem Güven	Efficient Internet Chat Services for Help Desk Agents.	IEEE SCC	2007	DBLP DOI BibTeX RDF
11	Pamela J. Hopp-Levine, C. A. P. Smith, Benjamin A. Clegg, Eric D. Heggestad	Tactile interruption management: tactile cues as task-switching reminders.	Cogn. Technol. Work.	2006	DBLP DOI BibTeX RDF	Interruption management, Tactile cues, Prospective memory, Task-switching
11	Dale Joachim, John R. Deller Jr.	Multiweight optimization in optimal bounding ellipsoid algorithms.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
11	Victor Chang 0001	Experiments and Investigations for the Personal High Performance Computing (PHPC) built on top of the 64-bit processing and clustering systems.	ECBS	2006	DBLP DOI BibTeX RDF
11	Jianqiang Shen, Lida Li, Thomas G. Dietterich, Jonathan L. Herlocker	A hybrid learning system for recognizing user tasks from desktop activities and email messages.	IUI	2006	DBLP DOI BibTeX RDF	machine learning, support vector machines, intelligent interfaces, naive Bayes
11	Yves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist	Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
11	Anca Mariana Molnos, Sorin Dan Cotofana, Marc J. M. Heijligers, Jos T. J. van Eijndhoven	Static cache partitioning robustness analysis for embedded on-chip multi-processors.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	robustness, cache partitioning, multi-processors
11	Hyacinthe Aboudja, Jonathan Simonson	Real-Time Systems Performance Improvement with Multi-Level Cache Memory.	CCECE	2006	DBLP DOI BibTeX RDF
11	Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion	Component based deployment of industrial control systems: a hybrid scheduling approach.	ETFA	2006	DBLP DOI BibTeX RDF
11	Peter Squire, J. Gregory Trafton, Raja Parasuraman	Human control of multiple unmanned vehicles: effects of interface type on execution and task switching times.	HRI	2006	DBLP DOI BibTeX RDF	playbook, human-robot interaction, automation, interruption, delegation, task switching, unmanned vehicles
11	Marc Gacy, David Dahn	Commonality of control paradigms for unmanned systems.	HRI	2006	DBLP DOI BibTeX RDF	HRI applications, HRI for heterogeneous teams, interface and autonomy design, mixed initiative interaction